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

Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins

Communication écrite (2014)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
ISBN:
9781479961443
Adresse 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
OAI:
oai:publications.polymtl.ca:12742
ORCID
Date du dépôt:
18 avr. 2023 15:07
Dernière modification:
14 oct. 2026 11:13
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