Valutazione: 0 su 5 stelle
0 valutazioni
Caricamento
DD![]()
author
Doron Drusinsky
Libri di Doron Drusinsky
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking