<  Retour au portail Polytechnique Montréal

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

S. Hamadou, John Mullins, C. Chareton et A. Gherbi

Communication écrite (2015)

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/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: 05 avr. 2024 11:27
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