PDF⋙ Modeling and Verification Using UML Statecharts: A Working Guide
to Reactive System Design, Runtime Monitoring and Execution-based Model
Checking by Doron Drusinsky
PDF⋙ Modeling and Verification Using UML Statecharts: A Working Guide
to Reactive System Design, Runtime Monitoring and Execution-based Model
Checking by Doron Drusinsky