Author:
Beji Sofiene,Gherbi Abdelouahed,Mullins John,Hladik Pierre-Emmanuel
Publisher
Springer International Publishing
Reference15 articles.
1. Integrated modular avionics (ima). AERONAUTICAL RADIO, INC., ARINC 653 (2006)
2. ARINC 664, part 7: Avionics full duplex switched ethernet (afdx). AERONAUTICAL RADIO, INC. (2009)
3. AS6802: Time-triggered ethernet (ttethernet). SAE Aerospace (2011)
4. Beji, S., Hamadou, S., Gherbi, A., Mullins, J.: Smt-based cost optimization approach for the integration of avionic functions in ima and ttethernet architectures. In: Proceedings of the 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, pp. 165–174. IEEE Computer Society (2014)
5. Chenouard, R., Granvilliers, L., Soto, R.: Model-driven constraint programming. In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 236–246. ACM (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献