张太武
作品数： 2被引量：14H指数：1
  • 所属机构:长江大学文理学院
  • 所在地区:湖北省 荆州市
  • 研究方向:自动化与计算机技术

相关作者

刘珊艳
作品数：11被引量：27H指数：3
供职机构：荆楚理工学院计算机工程学院
研究主题：软件测试 UPPAAL 时间自动机 实时系统 XYZ/E
作品列表