搜索到 篇“ VERIFIER “的相关文章

相关作者

柳秀梅
作品数：14被引量：26H指数：3
供职机构：东北大学
研究主题：口令认证 双线性配对 WSRF WEB服务资源框架 交通信息服务
常桂然
作品数：149被引量：893H指数：16
供职机构：东北大学
研究主题：计算机网络 遗传算法 数据挖掘 搜索引擎 无线传感器网络
周福才
作品数：261被引量：1,537H指数：22
供职机构：扬州大学园艺与植物保护学院
研究主题：烟粉虱 黄瓜 辣椒 生长发育 设施蔬菜
周飞
作品数：13被引量：2H指数：1
供职机构：中国科学院
研究主题：量子信息 量子比特 离子 磁场 血小板聚集
李磊
作品数：33被引量：197H指数：7
供职机构：国防科技大学
研究主题：容错 CORBA 可扩展 无线传感网络 全序