Verificación de software crítico para la seguridad de la aviónica
-
nidottu
,
espanja, 2020