Using fault trees to find design errors in real time software
21st Aerospace Sciences Meeting ; 1983 ; Reno , NV , U.S.A.
1983-01-01
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
|How to find errors in finite-element models
Kraftfahrwesen | 1997
|Online Contents | 2005
|