Lina Marsso
, Radu Mateescu, Lucie Muller et Wendelin Serwe
Communication écrite (2022)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| 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 |
| URL de PolyPublie: | https://publications.polymtl.ca/73871/ |
| 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: | Clemens Dubslaff et Bas Luttik |
| Titre de la revue: | Electronic Proceedings in Theoretical Computer Science (vol. 355) |
| Maison d'édition: | Open Publishing Association |
| DOI: | 10.4204/eptcs.355.5 |
| URL officielle: | https://doi.org/10.4204/eptcs.355.5 |
| Date du dépôt: | 05 mai 2026 14:49 |
| Dernière modification: | 05 mai 2026 14:49 |
| 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
Actions réservées au personnel
|
Afficher document |
