User menu

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

Search

Displaying 2 results.
    • Journal article
    Weighted modal transition systems
    Bauer Sebastian, S. Fahrenberg, Uli Juhl, Line Larsen Kim, Guldstrand Legay, Axel[UCL] Thrane, Claus (2013) Formal Methods in System Design — Vol. 42, no. 2, p. 193-220 (2013)
    • BookChapter
    Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
    Fahrenberg, Uli Larsen Kim, Guldstrand Legay, Axel[UCL] Thrane, Claus (2013) — [ISBN : 9783642397202]