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
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Language Notes:English.
Published: Burlington, MA : Newnes, ©2006.
Subjects:
Online Access:Connect to the full text of this electronic book