搜索到 篇“ 安全性质 “的相关文章

相关作者

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