Correctness of Real Time Systems by Construction.

Published in: FTRTFT (1994)

Keyphrases

real time systems
real time
distributed systems
real time database systems
embedded systems
timing constraints
real time embedded
data model
mission critical
object oriented programming language
embedded real time systems
anytime algorithms
architectural model
artificial intelligence
cooperative