Recherche - Archive ouverte HAL

2 résultats

	Pour les 2 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

		Formal System and Safety Design of a System of Systems: a proof of concepts Michel Batteux , Romain Kerneis , Ismet Addoui , Anouk Dubois European Safety and Reliability Conference (ESREL 2020), Nov 2020, Venice, Italy Communication dans un congrès hal-03073797v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Application du MBSA avec AltaRica 3.0 dans un cadre système de systèmes pour le transport autonome Michel Batteux , Romain Kerneis CIGI Qualita 2021, May 2021, Grenoble, France Communication dans un congrès hal-03222202v1	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