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

Saved in:
Bibliographic Details
Main Author: Drusinsky, Doron.
Format: eBook
Published: Burlington, MA : Newnes, c2006.
Online Access:Subscribed ebook (available only in University campus-wide network);click to view
Tags: Add Tag
No Tags, Be the first to tag this record!