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

Select an Action

Title:

Author:

Drusinsky, Doron.

ISBN:

9780750679497

Publication Information:

Burlington, MA : Newnes, c2006.

Physical Description:

1 online resource (xii, 306 p.) : ill.

Subject Term:

Electronic Access:

Holds:
Copies:

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