Hasil Pencarian - Kim Gulstrand Larsen

  • Menampilkan 1 - 1 hasil dari 1
Perbaiki Hasil
  1. 1
    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: