Login / Signup
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.
Abdeldjalil Boudjadar
Frits W. Vaandrager
Jean-Paul Bodeveix
Mamoun Filali
Published in:
FSEN (2013)
Keyphrases
</>
real time systems
model checking
timed automata
real time
distributed systems
embedded systems
real time database systems
model checker
architectural model
mission critical
timing constraints
modeling language
formal verification
real time embedded
embedded real time systems
controller synthesis