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

相关作者

李钦
作品数：22被引量：10H指数：1
供职机构：华东师范大学
研究主题：安全性质 EVENT-B 形式化验证 形式化建模 建模语言
王化群
作品数：59被引量：90H指数：6
供职机构：南京邮电大学
研究主题：环签名方案 环签名 身份 双线性对 基于身份
毛晓光
作品数：116被引量：269H指数：6
供职机构：国防科学技术大学
研究主题：面向方面编程 软件工程 存储介质 浮点 训练数据
殷永峰
作品数：88被引量：123H指数：6
供职机构：北京航空航天大学
研究主题：嵌入式软件 软件测试 PETRI网 嵌入式软件测试 软件体系结构
郭建
作品数：44被引量：26H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 时态逻辑 源代码 微内核