ENSTA Bretagne - 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 Merci d'indiquer la raison de votre demande Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-00635555v1 Communication dans un congrès Amine Raji, Philippe Dhaussy, Benoît Baudry. Formal Extension of Use Cases for Context-Aware Verification MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
	hal-00744434v1 Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon et al. Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
		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 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire