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, Doron.
Contributor(s): ebrary, Inc
.
Publisher: Burlington, MA : Newnes, c2006Description: xii, 306 p. : ill. ; 24 cm. +.Subject(s): UML (Computer science)![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.1/17 (Browse shelf) | Available |
Includes bibliographical references (p. 295-301) and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.