An event-based approach for formally verifying runtime adaptive real-time systems.

Nissaf Fredj Yessine Hadj Kacem Mohamed Abid

Published in: J. Supercomput. (2021)

Keyphrases

real time systems
real time
distributed systems
timing constraints
embedded systems
real time database systems
event detection
model checking
mission critical
object oriented programming language
case study
embedded real time systems