Using fault trees to find design errors in real time software
21st Aerospace Sciences Meeting ; 1983 ; Reno , NV , U.S.A.
01.01.1983
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Migrating Fault Trees to Decision Trees for Real Time Fault Detection on International Space Station
British Library Conference Proceedings | 2005
|Safety verification of Ada programs using software fault trees
Tema Archiv | 1991
|Software fault tolerance for real-time avionics systems
NTRS | 1983
|How to find errors in finite-element models
Kraftfahrwesen | 1997
|