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.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
UML (Computer science)
Formal methods (Computer science)
Computer software--Development.
Electronic books.
QA76.76.D47 / D78 2006eb
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.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
UML (Computer science)
Formal methods (Computer science)
Computer software--Development.
Electronic books.
QA76.76.D47 / D78 2006eb
005.1/17