Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

7 résultats

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

		Fan-C, a Frama-C plug-in for data flow verification Pascal Cuoq , David Delmas , Stéphane Duprat , Victoria Moya Lamiel Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France Communication dans un congrès hal-02263407v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Software Verification at Model and at Source Code Levels Anthony Fernandes Pires , Thomas Polacsek , Stéphane Duprat 2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩ Communication dans un congrès hal-00797091v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Une ‟communauté de pratiqueˮ pour accompagner l’innovation socio-spatiale en Creuse Stéphane Duprat , Bernard Davasse , Cyrille Marlin Cahiers RAMAU, 2022, Savoirs et expertises renouvelés. Au croisement des mondes académiques et opérationnels, 11, pp.96-111 Article dans une revue hal-03725443v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACK Anthony Fernandes Pires , Stéphane Duprat , Tristan Faure , Cédrik Besseyre , Jack Beringuier , et al. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France Communication dans un congrès hal-02263442v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Spreading Static Analysis with Frama-C in Industrial Contexts Stéphane Duprat , Victoria Moya Lamiel , Florent Kirchner , Loïc Correnson , David Delmas 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France Communication dans un congrès hal-01260276v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		La fabrique de Jardin Benjamin Chambelland , Stéphane Duprat Le paysage ; retour d'expériences entre recherche et projet, sous la direction de George Bertrand et Serge Briffaud, Oct 2008, Arthous, France Communication dans un congrès hal-01560089v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Taster, a Frama-C plug-in to enforce Coding Standards David Delmas , Stéphane Duprat , Victoria Moya Lamiel , Julien Signoles ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France Communication dans un congrès hal-02267697v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More