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

Jun 07
Jun 07
Jun 21
Nov 09