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.
Subject Term:
UML (Computer science)

Formal methods (Computer science)

Computer software -- Development.
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497
Holds:

Copies:

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