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-01153717v1 Journal articles Zhi-Bin 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
	hal-01298793v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao et al. Towards a verified compiler prototype for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩
	hal-01153777v1 Journal articles Kai Hu, Teng Zhang, Zhi-Bin Yang, Wai-Tek Tsai. Simulation of real-time systems with clock calculus Simulation Modelling Practice and Theory, Elsevier, 2015, vol. 51, pp. 69-86. ⟨10.1016/j.simpat.2014.10.010⟩
	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⟩
		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