
SPIE Proceedings [SPIE Sixth International Conference on Electronics and Information Engineering - Dalian, China (Saturday 26 September 2015)] Sixth International Conference on Electronics and Information Engineering - Spatial and temporal partitioning validation for ARINC635-based avionics software
Zhang, Qiang, Wang, Ying, Cui, Lili, Wang, Jianyong, Yang, HongweiVolume:
9794
Année:
2015
Langue:
english
DOI:
10.1117/12.2205692
Fichier:
PDF, 337 KB
english, 2015