METROII: A design environment for cyber-physical systems

Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu

Research output: Contribution to journal › Article › peer-review

60 Scopus citations

Fingerprint

Dive into the research topics of 'METROII: A design environment for cyber-physical systems'. Together they form a unique fingerprint.

INIS

Computer Science