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