Recherche - ENSTA Bretagne

		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 Merci d'indiquer la raison de votre demande Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-00663182v1 Communication dans un congrès Pierre-Yves Pillain, Joël Champeau, Hanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models ECMFA 2011, Jun 2011, United Kingdom
	hal-00517222v1 Communication dans un congrès Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon et al. Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués 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
	hal-00635653v1 Communication dans un congrès Philippe Dhaussy, Frédéric Boniol, Pierre-Yves Pillain, Xavier Dumas. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France
	hal-00470523v1 Communication dans un congrès Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon et al. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
	hal-00635969v1 Chapitre d'ouvrage Jean-Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
	hal-00517223v1 Communication dans un congrès Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger. AADL model transformation for formal verification 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
		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 RTF Export avancé... Syndication RSS ATOM