<  Back to the Polytechnique Montréal portal

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

Sofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi and John Mullins

Paper (2014)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/12742/
Conference Title: 18th IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications (DS-RT 2014)
Conference Location: Toulouse, France
Conference Date(s): 2014-10-01 - 2014-10-03
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ds-rt.2014.28
Official URL: https://doi.org/10.1109/ds-rt.2014.28
Date Deposited: 18 Apr 2023 15:07
Last Modified: 25 Sep 2024 15:49
Cite in APA 7: Beji, S., Hamadou, S., Gherbi, A., & Mullins, J. (2014, October). SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures [Paper]. 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

Statistics

Dimensions

Repository Staff Only

View Item View Item