自适应软件动态过程时间特性建模与验证方法
韩德帅, 邢建春, 杨启亮, 李决龙
Modeling and verification approach for temporal properties of self-adaptive software dynamic processes
HAN Deshuai, XING Jianchun, YANG Qiliang, LI Juelong
计算机应用
.
2018, (3): 799
-805
.
DOI: 10.11772/j.issn.1001-9081.2017081992
