混合系统的符号化可达性分析

混合系统的符号化可达性分析
复制标题

DOI:
--
复制
发表时间:
--
期刊:
张海宾,段振华,“混合系统的符号化可达性分析”,软件学报,Vol.19(12),pp3111-3121,2008.12(EI收录)
影响因子:
--
通讯作者:
--
中科院分区:
其他
文献类型:
--
作者:

文献摘要

相似文献