Search by documents

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	inria-00381639v1 Conference papers Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals et al. Présentation des résultats du projet OpenEmbeDD Neptune, May 2009, Paris, France
	inria-00262442v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, M Filali, Hubert Garavel et al. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p
	hal-01917492v1 Book sections Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel et al. MCC’2017 - The Seventh Model Checking Contest Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM