logo
logo

logo
-
/ 5
votes

Modeling And Verification Using Uml Statecharts A Working Guide To Reactive System Design Runtime Monitoring And Executionbased Model Checking