Search - Université Toulouse III

		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-01123837v1 Journal articles Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi et al. From AADL to Timed Abstract State Machines: A Verified Model Transformation Journal of Systems and Software, Elsevier, 2014, vol. 93, pp. 42-68. ⟨10.1016/j.jss.2014.02.058⟩
	hal-01153717v1 Journal articles Zhibin Yang, Kai Hu, Yong-Wang Zhao, Dian-Fu Ma, Jean-Paul Bodeveix. Verification of AADL Models with Timed Abstract State Machines Journal of Software, Science in China Press, 2015, vol. 26 (n° 2), pp. 202-222
		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

Search by documents