搜索到 篇“ 软件形式化 “的相关文章

相关作者

王新苏
作品数：3被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：形式化方法 RUP 软件形式化 形式化语言 形式化规范
钱春花
作品数：37被引量：68H指数：4
供职机构：苏州农业职业技术学院
研究主题：物联网技术 番茄 校企合作 互联网 系统设计
李明楚
作品数：96被引量：227H指数：7
供职机构：大连理工大学
研究主题：网格 启发式算法 NP-难解 网格计算 智能手机
吕建
作品数：412被引量：1,954H指数：25
供职机构：南京大学
研究主题：移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
李宣东
作品数：305被引量：863H指数：17
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统