Login / Signup

Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.

Vladimir Estivill-CastroRené Hexel
Published in: MODELSWARD (2017)
Keyphrases
  • embedded systems
  • low cost
  • computing power
  • embedded real time systems
  • real time
  • real time systems
  • flash memory
  • resource limited
  • machine learning
  • hardware and software