北京航空航天大学学报  1999, Vol. 25 Issue (2): 146-150    
  论文 本期目录 | 过刊浏览 | 高级检索 |
混合系统的形式化验证
高建平, 陈宗基
北京航空航天大学 自动控制系
Formal Verification of Hybrid System
Gao Jianping, Chen Zongji
Beijing University of Aeronautics and Astronautics,Dept. of Automatic Control
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn