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

1 résultat

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

		Model-Based Robustness Testing in Event-B Using Mutation Aymerick Savary , Marc Frappier , Michael Leuschel , Jean-Louis Lanet SEFM 2015 - 13th International Conference Software Engineering and Formal Methods, Jan 2015, York, United Kingdom. pp.132-147, ⟨10.1007/978-3-319-22969-0_10⟩ Communication dans un congrès hal-01250594v1	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