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

相关作者

缪淮扣
作品数:154被引量:509H指数:12
供职机构:上海大学计算机工程与科学学院
研究主题:测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
刘静
作品数:31被引量:161H指数:8
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:半导体光放大器 全光波长变换 WEB服务 接口 形式化验证