Login / Signup
Towards Provable Correct Real-Time Systems.
Ronald M. Tol
Published in:
NATO ASI RTC (1992)
Keyphrases
</>
real time systems
real time
distributed systems
timing constraints
real time database systems
embedded systems
mission critical
object oriented programming language
architectural model
cooperative
artificial neural networks
embedded real time systems
case study
process model
anytime algorithms