位置：成果数据库 > 获奖 > 获奖详情页
A framed temporal logic progra
  • 颁奖组织：陕西省人民政府
  • 类别：陕西省人民政府，2005年，自然科学学术优秀论文一等奖 (省部级)
  • 级别：一等奖
  • 所属机构名称：西安电子科技大学
  • 成果类型：获奖
  • 相关项目：混合系统的形式验证
作者： Z.H. Duan*, Maciej Koutny
同获奖项目
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
同项目获奖