搜索到 篇“ 软件模型检测 “的相关文章

相关作者

易秋萍
作品数：7被引量：2H指数：1
供职机构：中国科学院软件研究所
研究主题：初始化 层次化 测试用例 裁剪 软件模型检测
薛锦云
作品数：135被引量：550H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
李斌
作品数：18被引量：24H指数：3
供职机构：中国科学院软件研究所
研究主题：源码 源代码 注释 补丁 和函数
肖健宇
作品数：19被引量：39H指数：4
供职机构：湖南涉外经济学院
研究主题：B方法 形式化方法 程序依赖图 并发程序 UML状态机
张健沛
作品数：162被引量：803H指数：14
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：隐私保护 支持向量机 聚类 匿名 数据流