沈啸
作品数： 14被引量：18H指数：3
  • 所属机构:苏州健雄职业技术学院
  • 所在地区:江苏省 苏州市
  • 研究方向:自动化与计算机技术
  • 发文基金:江苏省现代教育技术研究规划课题

相关作者

陈邦兴
作品数：28被引量：85H指数：5
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
唐晨
作品数：3被引量：0H指数：0
供职机构：同济大学电子与信息工程学院
研究主题：形式化方法 EVENT-B EVENT 形式化建模 形式化
作品列表