A carregar...
Formal Analysis and Verification of Airborne Software Based on DO-333
With rapid technological advances in airborne control systems, it has become imperative to ensure the reliability, robustness, and adaptability of airborne software since failure of these software could result in catastrophic loss of property and life. DO-333 is a supplement to the DO-178C standard,...
Na minha lista:
| Main Authors: | , , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
MDPI AG
2020-02-01
|
| Colecção: | Electronics |
| Assuntos: | |
| Acesso em linha: | https://www.mdpi.com/2079-9292/9/2/327 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|