Modeling and Verification Using UML Statecharts
Subtitle: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Publisher: Elsevier Science & Technology Books
Published: 2011
Language: eng
ISBN-13: 9780080481470
Subjects: Uml (computer science)