Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.
2006
QA76.76.D47 D78 2006eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.
Author
ISBN
0750679492 (alk. paper)
Publication Details
Burlington, MA : Newnes, c2006.
Language
English
Description
xii, 306 p. : ill. ; 24 cm. +
Call Number
QA76.76.D47 D78 2006eb
Dewey Decimal Classification
005.1/17
Bibliography, etc. Note
Includes bibliographical references (p. 295-301) and index.
Access Note
Access limited to authorized users.
Linked Resources
Record Appears in