系统架构描述语言AADL的功能行为建模扩展
安全关键系统、架构分析与设计语言(AADL)、层次行为附件(HBA)、功能规约
13
TP311(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant No. 61502231;the National Key Research and Development Program of China under Grant No. 2016YFB1000802;the National Defense Basic Scientific Research Project of China under Grant No. JCKY2016203B011;the Natural Science Foundation of Jiangsu Province under Grant No. BK20150753;the Fundamental Research Funds for the Central Universities of China under Grant No. NP2017205
2019-11-05(万方平台首次上网日期,不代表论文的发表时间)
共16页
1638-1653