Alexandre David 人物
详细信息
相关论文查看全部 (4)
A Tutorial on Uppaal
2004Lecture notes in computer science引用 1561
Uppaal SMC tutorial
2015International Journal on Software Tools for Technology Transfer引用 458
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
2005Lecture notes in computer science引用 274
UPPAAL-Tiga: Time for Playing Games!
2007Lecture notes in computer science引用 263
相关公司查看全部 (1)
Aalborg UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据