计算机与现代化Issue(1)：188-190,3.DOI:10.3969/j.issn.1006-2475.2010.01.053
一种基于MaC的运行时验证框架的研究
Research on a Runtime Verification Framework Based on MaC
许帅 1隋平2
作者信息
- 1. 装甲兵工程学院信息工程系,北京,100072
- 2. 国防科学技术大学计算机学院,湖南,长沙,410073
- 折叠
摘要
关键词
MaC/运行时验证/预测语义分类
信息技术与安全科学引用本文复制引用
许帅,隋平..一种基于MaC的运行时验证框架的研究[J].计算机与现代化,2010,(1):188-190,3.
