C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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