Calificación: 0 de 5 estrellas
0 calificaciones
Cargando
DD![]()
author
Doron Drusinsky
Libros de Doron Drusinsky
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking