Verification support for ARINC-653-based avionics software
Pedro de la Cámara, J. Raúl Castro, María del Mar Gallardo, Pedro MerinoVolume:
21
Year:
2011
Language:
english
Pages:
32
DOI:
10.1002/stvr.422
File:
PDF, 1.44 MB
english, 2011