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

Beji, S., Hamadou, S., Gherbi, Abdelouahed et 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 : 21.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Type de document:	Compte rendu de conférence
ISBN:	978-1-4799-6143-6
Professeur:	Professeur Gherbi, Abdelouahed
Affiliation:	Génie logiciel et des technologies de l'information
Date de dépôt:	25 févr. 2015 21:50
Dernière modification:	25 févr. 2015 21:50
URI:	https://espace2.etsmtl.ca/id/eprint/9293

Actions (Authentification requise)

Dernière vérification avant le dépôt