位置：成果数据库 > 著作 > 著作详情页
《Modeling and Analysis of hyb
  • 所属机构名称：西安电子科技大学
  • 成果类型：著作
  • 出版社：Science Press
  • 相关项目：混合系统的形式验证
作者： Zhenhua Duan*
同著作项目
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
同项目著作
《Temporal Logic and Temporal
Web Services支持环境