Alexandre David 人物
Alexandre David · 相关论文
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