An engineering process for the verification of real-time systems.

Alan Burns Tse-Min Lin

Published in: Formal Aspects Comput. (2007)

Keyphrases

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