Login / Signup
Experiments in the use of τ-simulations for the components-verification of real-time systems.
Françoise Bellegarde
Jacques Julliand
Hassan Mountassir
Emilie Oudot
Published in:
SAVCBS@FSE (2006)
Keyphrases
</>
real time systems
real time
distributed systems
mission critical
embedded systems
timing constraints
model checking
real time database systems
real time embedded
database
low cost
fine grained
automatically generated
architectural model
object oriented programming language
embedded real time systems