Test guidé par la preuve (Application à la vérification d'algorithmes de tolérance aux fautes)

Authors
Publication date
1 January 2004
Publisher

Abstract

INIST-CNRS (INIST), under shelf-number: RP 17272 / SudocSudocFranceF

    Similar works

    Full text

    thumbnail-image

    Available Versions

    MPG.PuRe

    redirect
    oaioai:pure.mpg.de:item_828958
    Last time updated on 15/06/2019

    OpenGrey Repository

    redirect
    Last time updated on 14/06/2016