Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

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

		Exploration randomisée de larges espaces d'états pour la vérification Nazha Abed Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩ Thèse tel-00557232v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Systems Verification using Randomized Exploration of Large State Spaces Nazha Abed , Stavros Tripakis , Jean-Marc Vincent SPIN, 2008, Los Angeles Communication dans un congrès hal-00953617v1	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