Login / Signup
Testing Real-Time Systems Using UPPAAL.
Anders Hessel
Kim Guldstrand Larsen
Marius Mikucionis
Brian Nielsen
Paul Pettersson
Arne Skou
Published in:
Formal Methods and Testing (2008)
Keyphrases
</>
real time systems
timed automata
real time
distributed systems
embedded systems
real time database systems
timing constraints
architectural model
mission critical
object oriented programming language
model checking
real time embedded
test cases
anytime algorithms