Hasil Pencarian - Marius Mikučionis

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  1. 1
    Distributed Parametric and Statistical Model Checking

    Distributed Parametric and Statistical Model Checking oleh Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, Axel Legay

    Diterbitkan 2011-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

    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
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

    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
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: