Amazon cover image
Image from Amazon.com

Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.

By: Contributor(s): Publication details: Burlington, MA : Newnes, c2006.Description: xii, 306 p. : illISBN:
  • 0750679492 (alk. paper)
Subject(s): Genre/Form: DDC classification:
  • 005.1/17 22
LOC classification:
  • QA76.76.D47 D78 2006eb
Online resources:
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references (p. 295-301) and index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

Previous
Back to results
Next
Close

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu