薛锦云
作品数： 138被引量：562H指数：13
  • 所属机构:江西师范大学
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

石海鹤
作品数：40被引量：93H指数：7
供职机构：江西师范大学
研究主题：形式化方法 PAR PAR方法 形式化开发 循环不变式
揭安全
作品数：44被引量：125H指数：6
供职机构：江西师范大学计算机信息工程学院
研究主题：教学改革 并发 APLA-JAVA 可重用部件库 PAR方法
游珍
作品数：17被引量：51H指数：5
供职机构：江西师范大学
研究主题：PAR方法 循环不变式 形式化验证 非递归算法 ISABELLE
王昌晶
作品数：53被引量：70H指数：6
供职机构：江西师范大学计算机信息工程学院
研究主题：形式化推导 泛型 PAR平台 APLA 循环不变式
万剑怡
作品数：51被引量：157H指数：8
供职机构：江西师范大学
研究主题：设计模式 MARKOV网络 语言模型 文本分类 软件开发
作品列表