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 13
Apr 27
May 03
Jun 07