Graph process specifications for hybrid networked systems.

Philip Twu Patrick Martin Magnus Egerstedt

Published in: Discret. Event Dyn. Syst. (2012)

Keyphrases

building blocks
development process
information retrieval
semi supervised
computer systems
complex systems
design requirements
case study
high level
design process
process model
formal specification
graph theoretic