Specification and Timing Analysis of Real-Time Systems.

Shuhua Wang Grace Tsai

Published in: Real Time Syst. (2004)

Keyphrases

real time systems
reactive systems
real time
distributed systems
embedded systems
real time database systems
formal specification
timing constraints
high level
mission critical
real time embedded
embedded real time systems
anytime algorithms
architectural model