Designing and Implementing Correct Real-Time Systems.

Steven Bradley William Henderson David Kendall Adrian Robson

Published in: FTRTFT (1994)

Keyphrases

real time systems
real time
distributed systems
embedded systems
timing constraints
mission critical
real time database systems
high level
object oriented programming language
embedded real time systems
machine learning
case study
dynamic programming
knowledge representation
anytime algorithms
architectural model