Évaluation : 0 sur 5 étoiles
0 évaluation
Chargement
DD![]()
author
Doron Drusinsky
Livres par Doron Drusinsky
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking