FOCUS: an experimental environment for validation of fault-tolerant systems - case study of a jet-engine controller.

Gwan Choi, Ravi K. Iyer, Victor Carreno

Browse the full ICCD paper archive.