Wang Yi 人物
相关论文查看全部 (4)
Uppaal in a nutshell
1997International Journal on Software Tools for Technology Transfer引用 2155
UPPAAL — a tool suite for automatic verification of real-time systems
1996Lecture notes in computer science引用 741
Timed Automata: Semantics, Algorithms and Tools
2004Lecture notes in computer science引用 714
CCS + time = an interleaving model for real time systems
1991Lecture notes in computer science引用 239
相关公司查看全部 (2)
Chalmers University of TechnologyUNIVERSITY
Uppsala UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据