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

相关作者

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