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

相关作者

魏强
作品数：117被引量：270H指数：9
供职机构：中国人民解放军信息工程大学
研究主题：漏洞 代码 缓冲区溢出 指纹 网络安全
胡军
作品数：113被引量：382H指数：11
供职机构：南京航空航天大学
研究主题：形式化方法 故障树 SYSML 安全关键系统 形式化
刘博
作品数：11被引量：44H指数：5
供职机构：陕西师范大学计算机科学学院
研究主题：新石器时代遗址 人地关系 网络管理 AADL NUSMV
李蜀瑜
作品数：85被引量：241H指数：8
供职机构：陕西师范大学
研究主题：WEB服务 隐私 语义WEB服务 聚类 服务质量
吴海桥
作品数：64被引量：401H指数：14
供职机构：南京航空航天大学民航学院
研究主题：航空发动机 复合材料 飞机 自动铺带 可靠性