搜索到 篇“ 规范语言 “的相关文章

相关作者

陈火旺
作品数：242被引量：2,265H指数：26
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 计算机 遗传算法 软件工程
栾天骄
作品数：3被引量：3H指数：1
供职机构：华东师范大学
研究主题：MAUDE 规范语言 重写逻辑 实时系统 操作语义
陈仪香
作品数：67被引量：149H指数：7
供职机构：华东师范大学
研究主题：互模拟 DOMAIN理论 拓扑 拓扑学 程序设计语言
李舟军
作品数：264被引量：1,831H指数：22
供职机构：北京航空航天大学计算机学院
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
潘峰
作品数：5被引量：2H指数：1
供职机构：山东省工会管理干部学院
研究主题：规范语言 公文写作 评改 学分 写作者