Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Saved in:
| Main Author | |
|---|---|
| Format | Book |
| Language | English |
| Published |
Oxford :
Newnes,
2006
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9780750679497 0750679492 |
| Physical Description | xii, 306 s. : il. ; 24 cm. |
Glossary of Terms