|国家科技期刊平台
| 注册
首页|期刊导航|南京大学学报：数学半年刊|线性混合系统的一种验证方法

线性混合系统的一种验证方法

侯建民 李宣东 樊晓聪 郑国梁

南京大学学报：数学半年刊Issue(1)：58-65,8.
✕
南京大学学报：数学半年刊Issue(1)：58-65,8.

线性混合系统的一种验证方法

侯建民 1李宣东 1樊晓聪 1郑国梁1

作者信息

  • 折叠

摘要

关键词

混合系统/混合自动机/模型检验/验证

分类

信息技术与安全科学

引用本文复制引用

侯建民,李宣东,樊晓聪,郑国梁..线性混合系统的一种验证方法[J].南京大学学报：数学半年刊,1999,(1):58-65,8.

南京大学学报：数学半年刊

0469-5097

访问量0
|
下载量0
段落导航相关论文