Modeling and Verification Using UML Statecharts: A

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 1, 2011)

Language: English

ISBN-10: 0750679492