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:	UML (Computer science) Formal methods (Computer science) Computer software > Development. UML (Informatique) Méthodes formelles (Informatique) Logiciels > Développement. Computer software > Development Electronic books. Biography dissertations. Biographies Biographies. Academic theses. Thèses et écrits académiques.
Online Access:	Connect to the full text of this electronic book

Available Online