UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA kiterjesztése UPPAAL [BDL04], és ez jelenti az elsõ hatékony on-the-fly algoritmust megoldására játékok alapján időzített játék automaták tekintetében elérhetőséget és biztonsági tulajdonságok.Bár időzített játékok Már régóta ismert, hogy...
