Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing Lina Marsso , Radu Mateescu , Lucie Muller , Wendelin Serwe Mars 2022 - 5th Workshop on Models for Formal Analysis of Real Systems, Apr 2022, Munich, Germany. pp.60-117, ⟨10.4204/EPTCS.355.5⟩ Communication dans un congrès hal-03623521v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles Jean-Baptiste Horel , Christian Laugier , Lina Marsso , Radu Mateescu , Lucie Muller , et al. DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩ Communication dans un congrès hal-03516799v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Discrete Control of Response for Cybersecurity in Industrial Control Gwenaël Delaval , Ayan Hore , Stéphane Mocanu , Lucie Muller , Eric Rutten IFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8 Communication dans un congrès hal-02569406v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats