A FEATURE-BASED CLASSIFICATION OF FORMAL VERIFICATION TECHNIQUES 时间:2021-11-20 14:02:56 【文件属性】: 文件名称:A FEATURE-BASED CLASSIFICATION OF FORMAL VERIFICATION TECHNIQUES 文件大小:529KB 文件格式:PDF 更新时间:2021-11-20 14:02:56 Software mod Model Checki formal 该学术论文描述了软件模型的形式化验证基于特征的一种分类方法 立即下载