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/
BibTeX