<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Fehnker, Ansgar"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : 2020
Nombre de documents: 1

2020

Marsso, L. (avril 2020). Specifying a Cryptographical Protocol in Lustre and SCADE [Communication écrite]. 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland. Publié dans Electronic Proceedings in Theoretical Computer Science, 316. Lien externe

Liste produite: Mon May 25 04:29:36 2026 EDT.