Cargando…

Modeling and Verification Using UML Statecharts : a Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking.

Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Drusinsky, Doron
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington : Elsevier, 2006.
Temas:
Acceso en línea:Texto completo