Béatrice Bérard, Loïc Hélouët, John Mullins
Article de revue (2016)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Titre de la revue
:
ACM Transactions on Embedded Computing Systems
(
vol.
16
,
no
2
)
Maison d'édition:
Association for Computing Machinery
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:36649
ORCID
Date du dépôt:
18 avr. 2023 15:05
Dernière modification:
14 oct. 2026 13:26
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
