<  Retour au portail Polytechnique Montréal

Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus

Sardaouna Hamadou, John Mullins, Christophe Chareton et Abdelouahed Gherbi

Communication écrite (2015)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
ISBN: 9781467366564
URL de PolyPublie: https://publications.polymtl.ca/35273/
Nom de la conférence: 16th IEEE International Conference on Information Reuse and Integration (IRI 2015)
Lieu de la conférence: San Francisco, CA
Date(s) de la conférence: 2015-08-13 - 2015-08-15
Maison d'édition: IEEE
DOI: 10.1109/iri.2015.56
URL officielle: https://doi.org/10.1109/iri.2015.56
Date du dépôt: 18 avr. 2023 15:06
Dernière modification: 08 avr. 2025 12:21
Citer en APA 7: Hamadou, S., Mullins, J., Chareton, C., & Gherbi, A. (août 2015). Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus [Communication écrite]. 16th IEEE International Conference on Information Reuse and Integration (IRI 2015), San Francisco, CA. https://doi.org/10.1109/iri.2015.56

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document