![Cover image for Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking Cover image for Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking](/client/assets/5.1294/ctx//client/images/no_image.png)
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:
9780080481470
9780750679497
9781281052186
9786611052188
Personal Author:
Publication Information:
Burlington, MA : Newnes, ©2006.
Physical Description:
1 online resource (xii, 306 pages) : illustrations
Local Note:
O'Reilly
Elsevier
Subject Term:
Holds: Copies: