Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | E-Book |
| Langue: | Anglais |
| Publié: |
Burlington, MA, USA :
Elsevier Science & Technology Books,
2006.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Accès en ligne: | Accès à l'E-book |