-
薛锦云
-
-
- 所属机构:江西师范大学
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 石海鹤
- 作品数：45被引量：99H指数：7
- 供职机构：江西师范大学计算机信息工程学院
- 研究主题：PAR方法 形式化方法 PAR 形式化开发 循环不变式
- 游珍
- 作品数：23被引量：59H指数：6
- 供职机构：江西师范大学
- 研究主题：定理证明器 PAR方法 ISABELLE 循环不变式 形式化验证
- 王昌晶
- 作品数：60被引量：81H指数：6
- 供职机构：江西师范大学
- 研究主题：形式化推导 定理证明器 循环不变式 ISABELLE 机械化
- 揭安全
- 作品数：46被引量：134H指数：6
- 供职机构：江西师范大学
- 研究主题：教学改革 并发 APLA-JAVA 可重用部件库 PAR方法
- 万剑怡
- 作品数：52被引量：160H指数：8
- 供职机构：江西师范大学
- 研究主题：设计模式 MARKOV网络 语言模型 文本分类 软件开发
