An approach to modeling and evaluation of functional and timing specifications of real-time systems.

Published in: J. Syst. Softw. (2001)

Keyphrases

real time systems
embedded real time systems
real time
reactive systems
embedded systems
distributed systems
mission critical
timing constraints
real time embedded
real time database systems
formal specification
architectural model