Verifying Fault Tolerance of Concurrent Systems by Model Checking

Authors
Publication date
Publisher
デンシ　ジョウホウ　ツウシン　ガッカイ

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Institutional Repositories DataBase (IRDB)

    redirect
    oaioai:irdb.nii.ac.jp:01056:00014...
    Last time updated on 06/09/2020