Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /

Show other versions (1)
Saved in:
Bibliographic Details
Main Author: Drusinsky, Doron
Corporate Author: ebrary, Inc
Format: Electronic eBook
Language:English
Published: Burlington, MA : Newnes, c2006.
Subjects:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
Electronic books.
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xii, 306 p. : ill.
Bibliography:Includes bibliographical references (p. 295-301) and index.

Similar Items