Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Hardcover: 321 pages
Publisher: Elsevier Science (April 01, 2011)
Language: English
ISBN-10: 0750679492
ISBN-13: 9780750679497