Recherche - Archive ouverte HAL

3 résultats

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

		Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur Raphaël Jakse , Yliès Falcone , Jean-François Méhaut , Kevin Pouget Compas’2016, Jul 2016, Lorient, France Communication dans un congrès hal-01331973v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification Raphaël Jakse , Yliès Falcone , Jean-François Méhaut , Kevin Pouget ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France Communication dans un congrès hal-01592671v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Interactive Runtime Verification: Formal Models, Algorithms, and Implementation Raphaël Jakse , Yliès Falcone , Jean-François Méhaut [Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019 Rapport hal-02190656v1	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