Login / Signup

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems.

Philip S. KurtinMarco Jan Gerrit Bekooij
Published in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
  • real time systems
  • real time
  • artificial intelligence
  • real time embedded
  • embedded systems
  • machine learning
  • case study
  • high level
  • database management systems
  • architectural model
  • cooperative
  • user interface