计算机应用研究2010，Vol.27Issue(1)：196-199,203,5.DOI:10.3969/j.issn.1001-3695.2010.01.058
基于混合自动机的PSL模型研究
Research on extending PSL model with hybrid automata
张萌 1高德远 1樊晓桠1
作者信息
- 1. 西北工业大学,计算机学院,西安,710129
- 折叠
摘要
关键词
计算机仿真/混合自动机/混合信号电路/模型/形式化方法Key words
computer simulation/hybrid automata/mixed-signal circuit/model/formal method分类
信息技术与安全科学引用本文复制引用
张萌,高德远,樊晓桠..基于混合自动机的PSL模型研究[J].计算机应用研究,2010,27(1):196-199,203,5.
