Béatrice Bérard et John Mullins
Article de revue (2014)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| Organismes subventionnaires: | Coopération France-Québec, NSERC, FRQNT, CFQCU France-Quebec |
| Numéro de subvention: | 2012/26/SCAC, 13321, 167440, 167671 |
| URL de PolyPublie: | https://publications.polymtl.ca/70352/ |
| Nom de la conférence: | 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) |
| Lieu de la conférence: | Enschede, Netherlands |
| Date(s) de la conférence: | 2014-09-24 - 2014-09-26 |
| Titre de la revue: | Electronic Communications of the EASST (vol. 70) |
| Maison d'édition: | Centre National de la Recherche Scientifique |
| DOI: | 10.14279/tuj.eceasst.70.979 |
| URL officielle: | https://doi.org/10.14279/tuj.eceasst.70.979 |
| Date du dépôt: | 02 déc. 2025 08:59 |
| Dernière modification: | 02 déc. 2025 09:01 |
| Citer en APA 7: | Bérard, B., & Mullins, J. (2014). Verification of Information Flow Properties under Rational Observation. Electronic Communications of the EASST, 70, 15 pages. Présentée à 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), Enschede, Netherlands. https://doi.org/10.14279/tuj.eceasst.70.979 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
