User menu

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

Search

Displaying 2 results.
    • Journal article
    A Modal Interface Theory for Component-based Design
    Raclet, Jean-Baptiste Badouel, Eric Benveniste, Albert Caillaud, Benoît Legay, Axel[UCL] Passerone, Roberto (2011) Fundamenta Informaticae — Vol. 108, no. 1-2, p. 119-149 (2011)
    • Journal article
    Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects
    Delahaye, Benoît Caillaud, Benoît Legay, Axel[UCL] (2011) Formal Methods in System Design — Vol. 38, no. 1, p. 1-32 (2011)