metroII: A design environment for cyber-physical systems.

Abhijit DavareDouglas DensmoreLiangpeng GuoRoberto PasseroneAlberto L. Sangiovanni-VincentelliAlena SimalatsarQi Zhu
Published in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
  • real time
  • cyber physical systems
  • artificial intelligence
  • embedded systems
  • cyber physical