Real-Time Detection of Failures of Reactive Systems.

Rudolph E. Seviora

Browse the full SAFECOMP paper archive.