 | Monter d'un niveau |
Horel, J.-B., Laugier, C., Marsso, L., Mateescu, R., Muller, L., Paigwar, A., Renzaglia, A., & Serwe, W. (mars 2022). Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles [Communication écrite]. Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Antwerp, Belgium. Lien externe
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
