Title:
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Author:
Drusinsky, Doron.
ISBN:
9780750679497
Publication Information:
Burlington, MA : Newnes, c2006.
Physical Description:
1 online resource (xii, 306 p.) : ill.
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 253817-1001 | ONLINE | Searching... | Searching... |