Login / Signup
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.
Abhishek Dubey
Steven Nordstrom
Turker Keskinpala
Sandeep Neema
Ted Bapty
Gabor Karsai
Published in:
Innov. Syst. Softw. Eng. (2007)
Keyphrases
</>
real time systems
real time
distributed systems
embedded systems
real time database systems
timing constraints
architectural model
low cost
artificial neural networks
petri net
real time embedded
object oriented programming language