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!
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Burlington, MA :
Newnes,
©2006.
|
Sujets: | |
Accès en ligne: | Texto completo Texto completo |