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 01, 2011)
Language: English
ISBN-10: 0750679492
ISBN-13: 9780750679497
未经允许不得转载：电子书百科大全 » Modeling and Verification Using UML Statecharts