Work

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

Year: 2013

Type: article

Source: IEEE Software

DOI: 10.1109/ms.2013.43

Authors: Yannick Moy, Emmanuel Ledinot, Herve Delseny, Virginie Wiels, Benjamin Monate

Institutions: AdaCore (France), Dassault Aviation (France), Airbus (France), Office National d'Études et de Recherches Aérospatiales

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: closed

Funder: Université Paris-Sud

OpenAlex ID: W2049777185

FWCI: 24.37

Cites: 9

Cited by: 129

Related to: 10