Login / Signup
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.
Kim Guldstrand Larsen
Marius Mikucionis
Brian Nielsen
Published in:
Perspectives of Model-Based Testing (2004)
Keyphrases
</>
real time systems
real time
timed automata
current status
distributed systems
embedded systems
real time database systems
timing constraints
mission critical
model checking
object oriented
architectural model
object oriented programming language
embedded real time systems
cooperative
online learning