<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Luttik, Bas"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 1

Marsso, L., Mateescu, R., Muller, L., & Serwe, W. (avril 2022). Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing [Communication écrite]. 5th Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany. Publié dans Electronic Proceedings in Theoretical Computer Science, 355. Lien externe

Liste produite: Thu May 7 04:37:13 2026 EDT.