相关作者
- 李钦
- 作品数：22被引量：10H指数：1
- 供职机构：华东师范大学
- 研究主题：安全性质 EVENT-B 形式化验证 形式化建模 建模语言
- 王化群
- 作品数：56被引量：90H指数：6
- 供职机构：南京邮电大学
- 研究主题：环签名方案 环签名 身份 双线性对 车联网
- 毛晓光
- 作品数：116被引量：261H指数：6
- 供职机构：国防科学技术大学
- 研究主题：面向方面编程 软件工程 存储介质 浮点 训练数据
- 郭建
- 作品数：43被引量：24H指数：2
- 供职机构：华东师范大学
- 研究主题：形式化验证 形式化验证方法 源代码 时态逻辑 微内核
- 刘江潮
- 作品数：12被引量：3H指数：1
- 供职机构：国防科学技术大学
- 研究主题：浮点 抽象层 测试点 采样 补丁
