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
May 03
Jun 01
Jun 07