<  Retour au portail Polytechnique Montréal

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

Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi et John Mullins

Communication écrite (2014)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/12742/
Nom de la conférence: 18th IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications (DS-RT 2014)
Lieu de la conférence: Toulouse, France
Date(s) de la conférence: 2014-10-01 - 2014-10-03
Maison d'édition: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ds-rt.2014.28
URL officielle: https://doi.org/10.1109/ds-rt.2014.28
Date du dépôt: 18 avr. 2023 15:07
Dernière modification: 25 sept. 2024 15:49
Citer en APA 7: Beji, S., Hamadou, S., Gherbi, A., & Mullins, J. (octobre 2014). SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures [Communication écrite]. 18th IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications (DS-RT 2014), Toulouse, France. https://doi.org/10.1109/ds-rt.2014.28

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document