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 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-00471931v1 Communication dans un congrès Amine Raji, Philippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
	tel-00728431v1 Thèse Amine Raji. Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français
	hal-00635904v1 Communication dans un congrès Amine Raji, Philippe Dhaussy. User context models : a framework to ease software formal verifications ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
	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-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
		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 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM