User menu

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

Search

Displaying 3 results.
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore
    • WorkingPaper
    Verification of interlocking systems using statistical model checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2016)
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Schaus, Pierre[UCL] Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) — Singapore