Article de revue (2014)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Mots clés
Département:
Organismes subventionnaires:
Coopération France-Québec, NSERC, FRQNT, CFQCU France-Quebec
Numéro de subvention:
2012/26/SCAC, 13321, 167440, 167671
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:70352
ORCID
Date du dépôt:
02 déc. 2025 08:59
Dernière modification:
14 oct. 2026 14:31
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
