杨启哲
作品数： 1被引量：3H指数：1
  • 所属机构:上海交通大学电子信息与电气工程学院软件学院
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

李国强
作品数：38被引量：56H指数：4
供职机构：上海交通大学
研究主题：形式化研究 PETRI网 形式化验证 SPI演算 非交互式
作品列表