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

相关作者

柳青
作品数：84被引量：203H指数：7
供职机构：云南大学
研究主题：RSA算法 多核 BATCH 模幂 PETRI网
孔兵
作品数：36被引量：63H指数：3
供职机构：云南大学信息学院
研究主题：软件开发 信息扩散 数据结构 面向对象 PETRI网
王黎霞
作品数：29被引量：61H指数：5
供职机构：云南大学
研究主题：PETRI网 软件开发 面向对象 第四代语言 并行工程
李彤
作品数：268被引量：825H指数：14
供职机构：云南大学
研究主题：PETRI网 软件开发 面向对象 软件演化过程 CDIO
杨德仁
作品数：58被引量：143H指数：5
供职机构：宁夏医科大学理学院
研究主题：信息技术 搜索引擎 软件工程 互联网 多模态