Login / Signup

Hippo: A formal-model execution engine to control and verify critical real-time systems.

Pierre-Emmanuel HladikFélix IngrandSilvano Dal-ZilioReyyan Tekin
Published in: J. Syst. Softw. (2021)
Keyphrases
  • formal model
  • real time systems
  • execution engine
  • real time embedded
  • distributed systems
  • real time
  • embedded systems
  • database
  • databases
  • query language