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):

Material type: Text

TextPublication details: Burlington, MA : Newnes, c2006.Description: xii, 306 p. : illISBN:

Subject(s):

Genre/Form:

DDC classification:

LOC classification:

Online resources:

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

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, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.

DeKUT Library