Monter d'un niveau |
Lhachemi, H., de Azua Ortega, J. A. R., Saussié, D., & Zhu, G. (septembre 2016). Partition modeling and optimization of ARINC 653 operating systems in the context of IMA [Communication écrite]. 35th IEEE/AIAA Digital Avionics Systems Conference (DASC 2016), Sacramento, CA (8 pages). Lien externe