Title: Modeling And Verification Using Uml Statecharts A Working Guide To Reactive System Design Runtime Monitoring And Executionbased Model Checking
Subjects: Development, Formal methods (Computer science), UML (Computer science), Computer software, Uml (computer science)