Trustworthy Real-Time Systems.

Stefan M. Petters Kevin Elphinstone Gernot Heiser

Published in: Advances in Real-Time Systems (2012)

Keyphrases

real time systems
distributed systems
real time
embedded systems
timing constraints
mission critical
real time database systems
object oriented programming language
anytime algorithms
machine learning
cooperative
artificial neural networks