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
Get this book Contact Email: girro@qq.com
Hardcover: 321 pages
Publisher: Elsevier Science (April 1, 2011)
Language: English
ISBN-10: 0750679492

代发服务PDF电子书10立即求助
1111

未经允许不得转载:电子书百科大全 » Modeling and Verification Using UML Statecharts: A