Composition and Refinement of Discrte Real-Time Systems.

Jonathan S. Ostroff

Published in: ACM Trans. Softw. Eng. Methodol. (1999)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
architectural model
object oriented programming language
embedded real time systems
response time
anytime algorithms
timing constraints
real time embedded
relational databases
business processes