SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures

Beji, S., Hamadou, S., Gherbi, Abdelouahed and Mullins, J.. 2014. « SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures ». In 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications (DS-RT). Proceedings (Toulouse, France, Oct. 1-3, 2014) pp. 165-174. Los Alamitos, CA, USA : IEEE Computer Society.
Compte des citations dans Scopus : 22.

The full text of this document is not available here.

Item Type:	Conference proceeding
ISBN:	978-1-4799-6143-6
Professor:	Professor Gherbi, Abdelouahed
Affiliation:	Génie logiciel et des technologies de l'information
Date Deposited:	25 Feb 2015 21:50
Last Modified:	25 Feb 2015 21:50
URI:	https://espace2.etsmtl.ca/id/eprint/9293

Actions (login required)

View Item