Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
by
 
Drusinsky, Doron.

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


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book253817-1001ONLINEElektronik Kütüphane