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:	05 avr. 2024 10:52

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel