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!
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Burlington, MA
Newnes
2006
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Summary: | Harness the power of UML to assure the success of your designs, without expensive and time-consuming training! |
---|---|
Physical Description: | xii, 306 pages illustrations |
ISBN: | 0080481477 1281052183 9780080481470 9786611052188 9780750679497 9781281052186 0750679492 |