Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
By: 
Doron Drusinsky
Published: 
2006
Pages: 
306

Upcoming Events

Apr 28
Jun 02
Sep 22
Oct 13