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

相关作者

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