Assessment of safety critical software. Application of method B
Recherche, transports, sécurité ; 58 ; 21-36
1998
Article (Journal)
French
BKL: | 55.80 / 55.80 Verkehrswesen, Transportwesen: Allgemeines | |
Local classification TIB: | 250/7010/7015 |
Comparative Analysis of Safety Critical Software Assessment Methods
British Library Conference Proceedings | 1995
|Changing safety-critical software
IEEE | 2001
|Characteristics of Safety Critical Software
British Library Conference Proceedings | 2006
|Software Production Process for Safety Critical Software
AIAA | 2008
|Reusing Safety-Critical Avionics Software
SAE Technical Papers | 2012
|