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

• Main Author: Drusinsky, Doron.
• Format: eBook
• Language: English
• Published: Oxford : Newnes, 2006
• Subjects: UML (Modelovací jazyk); modelovací jazyky; software; elektronické knihy
• ISBN: 9780750679497; 0750679492
• Physical Description: xii, 306 s. : il. ; 24 cm.