User menu

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

Search

Displaying 1 result.
    • Journal article
    Early verification and validation of mission critical systems
    Ponsard, Christophe Massonet, Philippe Rifaut, André Molderez, Jean-François van Lamsweerde, Axel[UCL] Tran Van, Hung[UCL] (2007) Formal Methods in System Design : an international journal — Vol. 30, no. 3, p. 233-247 (2007)