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

相关作者

魏强
作品数：105被引量：230H指数：8
供职机构：中国人民解放军信息工程大学
研究主题：漏洞 代码 缓冲区溢出 指纹 网络安全
胡军
作品数：99被引量：361H指数：11
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 安全关键系统 SYSML 接口自动机
刘博
作品数：11被引量：44H指数：5
供职机构：陕西师范大学计算机科学学院
研究主题：新石器时代遗址 人地关系 网络管理 AADL NUSMV
李蜀瑜
作品数：84被引量：232H指数：8
供职机构：陕西师范大学
研究主题：WEB服务 隐私 语义WEB服务 聚类 服务质量
蒋静
作品数：45被引量：38H指数：4
供职机构：青岛大学
研究主题：互联网服务 档案 科技期刊标准化 面向服务架构 服务调度