Rigorous design of cyber-physical systems

Joseph Sifakis. Rigorous design of cyber-physical systems. In 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece, July 16-19, 2012. pages 319, IEEE, 2012. [doi]

Abstract

Abstract is missing.