Tianfang Wang

Implementation of AADL Interpreter Based on K

Fan Zhang, Weining Su, Yang Gang, 2015 .

Design and Implementation of Abstract Syntax of AADL and Code Generation Based on Spoofax/XL

Fan Zhang, Gang Yang, Weining Su, 2015 .

SAFEBOX: A Verified Microkernel Based on Spatial-Temporal Isolation

Fan Zhang, Xiaopeng Wang, Weining Su, 2015, 2015 2nd International Conference on Information Science and Control Engineering.

Data Analytics for Traditional Chinese Medicine Research

Qingguo Wang, Tengfei Liu, Yan Zhao, 2014 .