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

David Broman, Edward A. Lee, Stavros Tripakis, Martin Trngren

Browse the full MODELS paper archive.