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: | 25 sept. 2024 16:20 |
| 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 |
