Documents publiés en "2014"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

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. Lien externe

Liste produite: Fri Oct 16 09:22:16 2026 EDT.