Bewertung: 0 von 5 Sternen
0 Bewertungen
Wird geladen
DD![]()
author
Doron Drusinsky
Bücher von Doron Drusinsky
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking