High-confidence control: Ensuring reliability in high-performance real-time systems

Cite this paper

@article{Samad2004HighconfidenceCE, title={High-confidence control: Ensuring reliability in high-performance real-time systems}, author={Tariq Samad and Darren D. Cofer and Vu Ha and Pam Binns}, journal={Int. J. Intell. Syst.}, year={2004}, volume={19}, pages={315-326} }