Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Haudebourg, Carole"'
Safety critical software requires rigorous processes in order to achieve a high degree of integrity. These processes include so-called " verification of verification ". In the case of Model Based Development and Verification, DO-178C/DO-331 requires
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c5b6d4aaeac17e1262bae5baeaa2ef6
https://hal.science/hal-01262411
https://hal.science/hal-01262411
