基于层次模型的混合系统形式化分析与验证

【作者】 何安平；

【导师】 李廉；

【作者基本信息】 兰州大学 ， 应用数学， 2011， 博士