Université Toulouse III - Paul Sabatier - Search

		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01278902v1 Journal articles Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang. Towards a verified transformation from AADL to the formal component-based language FIACRE Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩
	hal-01285662v1 Journal articles Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai. Exploring AADL verification tool through model transformation Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩
	hal-02106219v1 Journal articles Feng Ding, Ziwei Xu, Boris Yakobson, Robert Young, Ian Kinloch et al. Formation mechanism of peapod-derived double-walled carbon nanotubes Physical Review B : Condensed matter and materials physics, American Physical Society, 2010, 82 (4), pp.041403. ⟨10.1103/PhysRevB.82.041403⟩
		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM