Lina Marsso
, Radu Mateescu, Lucie Muller, Wendelin Serwe
Communication écrite (2022)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
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
Organismes subventionnaires:
European Commission, Electronic Components and Systems for European Leadership, Horizon 2020 Framework Programme
Numéro de subvention:
H2020/2014-2020, 877539, H2020, 2014-2020
Adresse URL de PolyPublie:
Nom de la conférence:
5th Workshop on Models for Formal Analysis of Real Systems (MARS 2022)
Lieu de la conférence:
Munich, Germany
Date(s) de la conférence:
2022-04-02
Éditeurs ou éditrices:
Titre de la revue
:
Electronic Proceedings in Theoretical Computer Science
(
vol.
355
)
Maison d'édition:
Open Publishing Association
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:73871
ORCID
Date du dépôt:
05 mai 2026 14:49
Dernière modification:
14 oct. 2026 14:35
Citer en APA 7:
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. https://doi.org/10.4204/eptcs.355.5
Statistiques
Dimensions
