User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 2 results.
    • Speech
    Importance Sampling for Stochastic Timed Automata
    Jegourel, Cyrille Larsen Kim, Guldstrand Legay, Axel[UCL] Mikučionis, Marius Poulsen, Danny Sedwards, Sean (2016) Dependable Software Engineering: Theories, Tools, and Applications —
    • Speech
    Modelling Attack-defense Trees Using Timed Automata
    Gadyatskaya, Olga Rydhof Hansen, René Larsen Kim, Guldstrand Legay, Axel[UCL] Olesen, Mads Poulsen, Danny (2016) FORMATS 2016 -14th International Conference on Formal Modelling and Analysis of Timed Systems —