搜索到 篇“ 形式化验证技术 “的相关文章

相关作者

吴尽昭
作品数：77被引量：173H指数：7
供职机构：广西民族大学
研究主题：英文 异构 PROMELA 形式化验证 任务调度算法
史美林
作品数：175被引量：3,346H指数：26
供职机构：清华大学
研究主题：计算机网络 CSCW 工作流 工作流管理系统 计算机支持的协同工作
李勇
作品数：122被引量：17H指数：2
供职机构：中国核动力研究设计院
研究主题：蒸汽发生器 熔池 冷却剂 稳压器 核电厂
何安平
作品数：40被引量：30H指数：3
供职机构：兰州大学信息科学与工程学院
研究主题：异步 CLICK 乘法器 人工神经元网络 元结
薛锦云
作品数：137被引量：557H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR