Simulation Techniques for Proving Properties of Real-Time Systems.

Published in: REX School/Symposium (1993)

Keyphrases

real time systems
real time
distributed systems
timing constraints
embedded systems
real time database systems
anytime algorithms
real time embedded
cooperative
simulation model
object oriented programming language
embedded real time systems
mission critical