搜索到 篇“ 形式化建模与验证 “的相关文章

相关作者

郭建
作品数：38被引量：22H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
黄文超
作品数：59被引量：54H指数：5
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：形式化验证 形式化建模 合约 形式化建模与验证 移动终端
熊焰
作品数：154被引量：543H指数：10
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：无线传感器网络 形式化验证 移动自组网 移动代理 WSN
郝莉莉
作品数：22被引量：20H指数：3
供职机构：西北工业大学
研究主题：AUV 着色PETRI网 CPN 形式化建模与验证 多AUV
王国辉
作品数：59被引量：98H指数：5
供职机构：首都师范大学
研究主题：定理证明器 形式化验证 定理证明 逻辑命题 机器人