Recherche

		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01260276v1 Communication dans un congrès Stéphane Duprat, Victoria Moya Lamiel, Florent Kirchner, Loïc Correnson, David Delmas. Spreading Static Analysis with Frama-C in Industrial Contexts 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. 2016, <http://www.erts2016.org/>
	hal-01312246v1 Communication dans un congrès Antoine Miné, David Delmas. Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software ACM SIGBED International Conference on Embedded Software (EMSOFT), Oct 2015, Amsterdam, Netherlands. IEEE, Embedded Software (EMSOFT), 2015 International Conference on, pp.65-74, 2015, <http://esweek.org/emsoft>. <10.1109/EMSOFT.2015.7318261>
	hal-01163469v1 Communication dans un congrès Xavier Nicolas, M. Tavares, Benoît Trouette, Y. Sommerer. Expériences et modèles pour la correction des mesures de température d'air par thermocouple dans un environnement radiatif confiné Congrès français de thermique SFT2015, May 2015, La Rochelle, France. Actes du Congrès français de thermique SFT2015
	hal-01295616v1 Communication dans un congrès Y. Sommerer, V. Drouin, Xavier Nicolas, Benoît Trouette. Uncertainty quantification of thermocouple air temperature measurement in highly radative environment : application to turbofan engine compartment ASME 2016 Turbo Expo, Jun 2016, Séoul, South Korea
	hal-01292294v1 Communication dans un congrès Alexis Werey, David Delmas, Matthieu Martel. Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), <http://www.erts2016.org/>
	hal-01071570v1 Communication dans un congrès W. Quenum, J.P. Parmantier, O. Verstraete, D. Lemaire, F. Therond. Reference test object for on site HIRF test set up verification EMC Europe 2014, Sep 2014, GOTHEMBURG, Sweden
		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM