搜索到 篇“ 形式化方法 “的相关文章

相关作者

薛锦云
作品数：139被引量：566H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
肖美华
作品数：93被引量：245H指数：8
供职机构：华东交通大学
研究主题：形式化方法 SPIN 安全协议 形式化 形式化分析
张广泉
作品数：234被引量：713H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
黄志球
作品数：423被引量：1,077H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
张立臣
作品数：366被引量：718H指数：12
供职机构：陕西师范大学
研究主题：实时系统 机会网络 信息物理融合系统 路由方法 任务分配方法