Formalized pilot study of safety-critical software anomalie
NASA Office of Safety and Mission OSMA Software Assurance Symposium
2002-09-04
Conference paper
No indication
English
Anomalie-Erfassungseinrichtung und Anomalie-Erfassungsverfahren
European Patent Office | 2021
|ANOMALIE-ERKENNUNGSEINRICHTUNG UND ELEKTRONISCHER SCHLÜSSEL
European Patent Office | 2022
|Formalized electromagnetic support of systems
Tema Archive | 1976
|Towards Developing Formalized Assurance Cases
IEEE | 2020
|