Login / Signup
Hippo: A formal-model execution engine to control and verify critical real-time systems.
Pierre-Emmanuel Hladik
Félix Ingrand
Silvano Dal-Zilio
Reyyan 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