Publications de
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
Exploring AADL verification tool through model transformation
Dans : Journal of Systems Architecture, Elsevier, Vol. 61 N. 3-4, p. 141-156, février 2015.
Accès : http://www.sciencedirect.com/science/article/pii/S1383762115000144 – https://oatao.univ-toulouse.fr/15273/
BibTeXKai Hu, Teng Zhang, Zhibin Yang, Wai-Tek Tsai
Simulation of real-time systems with clock calculus
Dans : Simulation Modelling Practice and Theory, Elsevier Science, Vol. 51, p. 69-86, février 2015.
Kai Hu, Teng Zhang, Zhibin Yang
Multi-threaded code generation from Signal program to OpenMP
Dans : Frontiers of Computer Science, Springer, Vol. 10.1007, p. 1-10, septembre 2013.