导航

Model-driven validation method for software component development assurance level
ZHU Hequan, XU Haojun, ZHANG Peng, ZHANG Dengcheng, SUN Xi
ACTA AERONAUTICAET ASTRONAUTICA SINICA . 2015, (3): 907 -920 .  DOI: 10.7527/S1000-6893.2014.0251