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: Drusinsky, DoronContributor(s): ProQuest (Firm)Material type: TextTextPublication details: Burlington, MA : Newnes, c2006Description: xii, 306 p. : illSubject(s): UML (Computer science) | Formal methods (Computer science) | Computer software -- DevelopmentGenre/Form: Electronic books.DDC classification: 005.1/17 LOC classification: QA76.76.D47 | D78 2006Online resources: Click to View
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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

Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.