Login / Signup

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.

Xi ZhengChristine JulienHongxu ChenRodion M. PodorozhnyFranck Cassez
Published in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
  • real time
  • cyber physical systems
  • low cost
  • physical world
  • high speed
  • cyber physical
  • information systems
  • control system
  • data management