<  Retour au portail Polytechnique Montréal

Non-interference in partial order models

Béatrice Bérard, Loïc Hélouët et John Mullins

Article de revue (2016)

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/36649/
Titre de la revue: ACM Transactions on Embedded Computing Systems (vol. 16, no 2)
Maison d'édition: Association for Computing Machinery
DOI: 10.1145/2984639
URL officielle: https://doi.org/10.1145/2984639
Date du dépôt: 18 avr. 2023 15:05
Dernière modification: 11 déc. 2023 15:39
Citer en APA 7: Bérard, B., Hélouët, L., & Mullins, J. (2016). Non-interference in partial order models. ACM Transactions on Embedded Computing Systems, 16(2), 1-34. https://doi.org/10.1145/2984639

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document