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!

Bibliographic Details
Main Author: Drusinsky, Doron
Format: eBook
Language:English
Published: Burlington, MA Newnes 2006
Subjects:
Online Access:
Collection: O'Reilly - Collection details see MPG.ReNa
Description
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