机译:基于形式方法的文档格式模糊安全性测试研究
School of Computer and Information Technology Beijing Jiaotong University;
School of Computer and Information Technology Beijing Jiaotong University;
School of Computer and Information Technology Beijing Jiaotong University;
Automation School Beijing University of Posts and Telecommunications;
document format; fuzzy testing; test case generation; Z language; formal method;
机译:基于形式方法的文档格式模糊安全性测试研究
机译:通过基于单词计算的模糊语言技术,通过判断来评估SGML格式文档的信息质量
机译:基于正式概念分析的模糊重叠聚类对多个文档的分类
机译:智能卡高级认证的安全性测试和正式方法
机译:用于测试通信协议系统安全性的正式方法和工具。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:通过基于单词计算的模糊语言技术,通过判断来评估SGML格式文档的信息质量