Cover image for Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
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.
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 253817-1001 ONLINE
Searching...

On Order