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

Sep 22
Sep 24
Oct 12
Nov 09