Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

9 résultats

	Pour les 9 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 diagnosis for avionics systems using minimal cuts Fabien Kuntz , Stéphanie Gaudan , Christian Sannino , Éric Laurent , Alain Griffault , et al. DX 2011, Oct 2011, Murnau, Germany. pp.138-145 Communication dans un congrès hal-00650956v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement Gérald Point Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2000. Français. ⟨NNT : ⟩ Thèse tel-00353284v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Symbolic computation of minimal cuts for AltaRica models Alain Griffault , Gérald Point , Fabien Kuntz , Aymeric Vincent 2011 Rapport hal-00634022v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A generic approach to the control of discrete event systems Andre Arnold , Xavier Briand , Gérald Point , Aymeric Vincent Conference on Decision and Control and European Control Conference ECC (CDC-ECC), 2005, Sevilla, France. pp.1-5 Communication dans un congrès hal-00344229v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		FAST Extended Release Sébastien Bardin , Jérôme Leroux , Gérald Point Computer Aided Verification, CAV'06, Aug 2006, Seattle, WA, United States. pp.63-66 Communication dans un congrès hal-00344195v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the partial translation of Lustre programs into the AltaRica language and vice versa Gérald Point , Alain Griffault 2006 Pré-publication, Document de travail hal-00349898v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Client-Server Approach to Image-Based Rendering on Mobile Terminals Kadi Bouatouch , Gérald Point , Gwenola Thomas [Research Report] RR-5447, INRIA. 2005, pp.29 Rapport inria-00000127v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		TaPAS : The Talence Presburger Arithmetic Suite Jérôme Leroux , Gérald Point TACAS, 2009, York, United Kingdom. pp.182-185, ⟨10.1007/978-3-642-00768-2⟩ Communication dans un congrès hal-00368653v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Synthesis Toolbox - From modal automata to controller synthesis Gérald Point 2005 Pré-publication, Document de travail hal-00349874v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More