Pei-Hsin Ho 人物
详细信息
相关论文查看全部 (6)
The algorithmic analysis of hybrid systems
1995Theoretical Computer Science引用 1875
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
1993Lecture notes in computer science引用 1100
HYTECH: a model checker for hybrid systems
1997International Journal on Software Tools for Technology Transfer引用 775
Automatic symbolic verification of embedded systems
1996IEEE Transactions on Software Engineering引用 491
相关公司查看全部 (3)
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据