Showing 1 - 3 results of 3 for search 'Peter Bulychev', query time: 0.02s Refine Results
  1. 1
    Distributed Parametric and Statistical Model Checking

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

    Published 2011-10-01
    Get full text
    Article
  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 by Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis

    Published 2012-02-01
    Get full text
    Article
  3. 3
    UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

    UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata by Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

    Published 2012-07-01
    Get full text
    Article

Search Tools: