高如海
作品数： 4被引量：4H指数：1
  • 所属机构:上海大学计算机工程与科学学院
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

缪淮扣
作品数：154被引量：505H指数：11
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
陈怡海
作品数：24被引量：36H指数：4
供职机构：上海大学计算机工程与科学学院
研究主题：UML 软件开发 OBJECT-Z 动画模拟 定理证明
作品列表