搜索到 篇“ 形式语义 “的相关文章

相关作者

黄海军
作品数：4被引量：14H指数：3
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：形式语义 信息流安全 无干扰 检查程序 数据流分析方法
李师贤
作品数：105被引量：486H指数：9
供职机构：中山大学信息科学与技术学院
研究主题：面向对象 软件开发 CORBA PETRI网 语义
张鹏
作品数：3被引量：0H指数：0
供职机构：吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
研究主题：形式语义 工作流模型 交互行为 操作语义 TABULAR
云晓春
作品数：472被引量：1,750H指数：20
供职机构：国家互联网应急中心
研究主题：网络安全 蠕虫 恶意代码 网络 虚拟机
刘磊
作品数：380被引量：1,215H指数：16
供职机构：吉林大学
研究主题：程序设计 本体 检定装置 汽车 营运汽车