Recherche - Archive ouverte HAL

4 résultats

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

		Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets Vincent Iampietro , David Andreu , David Delahaye [Research Report] LIRMM, Université de Montpellier. 2020 Rapport lirmm-02611153v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Semantics of H-VHDL Vincent Iampietro 2022 Pré-publication, Document de travail hal-03664656v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Specification of the HILECOP Model-to-text Transformation Vincent Iampietro 2022 Pré-publication, Document de travail hal-03661152v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal verification of a methodology for the design and production of safety-critical digital systems Vincent Iampietro Computer science. Université Montpellier, 2021. English. ⟨NNT : 2021MONTS059⟩ Thèse tel-03566937v1	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