Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai. Exploring AADL verification tool through model transformation. Journal of Systems Architecture, 61(3-4):141-156, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.