搜索到 篇“ 公理语义 “的相关文章

相关作者

袁崇义
作品数：37被引量：150H指数：6
供职机构：北京大学信息科学技术学院软件研究所
研究主题：PETRI网 工作流 英文 UNINET 计算机网络
韩江洪
作品数：595被引量：2,594H指数：22
供职机构：合肥工业大学
研究主题：无线传感器网络 CAN总线 矿井机车 英译 翻译
曲文敬
作品数：1被引量：2H指数：1
供职机构：大连理工大学
研究主题：JAVA语言 JAVA异常处理机制 公理语义 公理化 异常处理机制
袁志祥
作品数：45被引量：126H指数：7
供职机构：安徽工业大学
研究主题：多标记 PETRI网 SET协议 转炉炼钢 UML
李沁
作品数：8被引量：16H指数：2
供职机构：安徽工业大学计算机科学与技术学院
研究主题：AD_HOC 安全协议验证 安全路由协议 信息流 宽容