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: Book
• Language: English
• Published: Oxford : Newnes, 2006
• Subjects: UML (Modelovací jazyk); modelovací jazyky; software; elektronické knihy