搜索到 篇“ 软件复杂度 “的相关文章

相关作者

黄滟鸿
作品数:133被引量:7H指数:2
供职机构:华东师范大学
研究主题:目标代码 反汇编 形式化验证 L模型 控制流图
史建琦
作品数:151被引量:8H指数:2
供职机构:华东师范大学
研究主题:目标代码 形式化验证 反汇编 控制流图 中间语言
李钦
作品数:22被引量:10H指数:1
供职机构:华东师范大学
研究主题:安全性质 EVENT-B 形式化验证 形式化建模 建模语言
秦卫明
作品数:2被引量:0H指数:0
供职机构:江苏教育学院
研究主题:程序接口 管理平台 浏览方法 数据访问层 软件复杂度
费春国
作品数:76被引量:103H指数:7
供职机构:中国民航大学
研究主题:飞机 智能管理系统 数据采集终端 作业时间 机场地面