Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Get this book Contact Email: girro@qq.com
Hardcover: 321 pages
Publisher: Elsevier Science (April 1, 2011)
Language: English
ISBN-10: 0750679492
未经允许不得转载:电子书百科大全 » Modeling and Verification Using UML Statecharts: A

电子书百科大全