MPG.eBooks - Search Results - academic & ((specialist libraries) OR (specific libraries))

Search alternatives:
specialist libraries » specialist librarians , special libraries , spectral libraries
specific libraries » special libraries , scientific libraries , specific injuries

Cover Image

1

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

by Drusinsky, Doron
Published 2006

Newnes

Table of Contents: “...Formal requirements and finite automata overview -- Statecharts -- Academic specification languages...”