Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne

7 Résultats

authFullName_s : Eric Bonnafous

	Pour les 7 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX 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

		Application of partial-order methods for the verification of closed-loop SDL systems Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03 Communication dans un congrès hal-00635533v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Partial Order Application for Software Formal Verification Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous Conférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne Communication dans un congrès hal-00517269v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels Philippe Dhaussy , A. Monégier Du Sorbier , Eric Bonnafous Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France Communication dans un congrès hal-00517273v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Context Constraints Method for Software Formal Verification Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands Communication dans un congrès hal-00517272v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy Communication dans un congrès hal-00635897v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne Communication dans un congrès hal-00517271v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Experience of an efficient and actual MDE process : design and verification of ATC onboard system Eric Bonnafous , Frédéric Boniol , Philippe Dhaussy , Xavier Dumas Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan Communication dans un congrès hal-00517277v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More