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 ce document Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	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 ce document Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire