Formal development of remote interfaces for large-scale real-time systems.

Walter Hussak Shaun H. Yang

Published in: SMC (1) (2004)

Keyphrases

real time systems
real time
embedded real time systems
distributed systems
embedded systems
machine learning
case study
real time database systems
timing constraints
database
artificial intelligence
software engineering
data management
mission critical