Viewpoints, formalisms, languages, and tools for cyber-physical systems.

David Broman Edward A. Lee Stavros Tripakis Martin Törngren

Published in: MPM@MoDELS (2012)

Keyphrases

cyber physical systems
cyber physical
databases
real time
information systems
e government
high speed
distributed databases