Hasil Pencarian - Marius Mikučionis
- Menampilkan 1 - 3 hasil dari 3
-
1
Distributed Parametric and Statistical Model Checking oleh Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, Axel Legay
Diterbitkan 2011-10-01
Artikel -
2
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach oleh Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis
Diterbitkan 2012-02-01
Artikel -
3
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata oleh Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
Diterbitkan 2012-07-01
Artikel