Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Drusinsky, Doron.
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / [electronic resource] : Doron Drusinsky. - Burlington, MA : Newnes, c2006. - xii, 306 p. : ill.
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.
UML (Computer science)
Formal methods (Computer science)
Computer software--Development.
Electronic books.
QA76.76.D47 / D78 2006
005.1/17
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / [electronic resource] : Doron Drusinsky. - Burlington, MA : Newnes, c2006. - xii, 306 p. : ill.
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.
UML (Computer science)
Formal methods (Computer science)
Computer software--Development.
Electronic books.
QA76.76.D47 / D78 2006
005.1/17