Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.
Material type:
TextPublication details: Burlington, MA : Newnes, c2006.Description: xii, 306 p. : illSubject(s): Genre/Form: DDC classification: - 005.1/17 22
- QA76.76.D47 D78 2006
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
Includes bibliographical references (p. 295-301) and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.