Documents publiés en "2020"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Nombre de documents: 1

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: Wed May 6 02:56:45 2026 EDT.

PolyPublie est le dépôt institutionnel de Polytechnique Montréal.
Site développé à l'aide du logiciel libre EPrints.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0