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

相关作者

黄海军
作品数：4被引量：14H指数：3
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：形式语义 信息流安全 无干扰 检查程序 数据流分析方法
云晓春
作品数：473被引量：1,760H指数：20
供职机构：国家互联网应急中心
研究主题：网络安全 蠕虫 恶意代码 网络 虚拟机
李师贤
作品数：105被引量：485H指数：9
供职机构：中山大学信息科学与技术学院
研究主题：面向对象 软件开发 CORBA PETRI网 语义
苗德成
作品数：37被引量：59H指数：4
供职机构：韶关学院信息科学与工程学院
研究主题：形式语言 语义 范畴论 索引 形式语义
张鹏
作品数：3被引量：0H指数：0
供职机构：吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
研究主题：形式语义 工作流模型 交互行为 操作语义 TABULAR