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

相关作者

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