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: 2006
Language: eng
ISBN-13: 9781493303182