Using Model Checking Techniques for Survivability Evaluation

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: New Castle, UK
    Period14 Jul 2005
    Event title21st United Kingdom Performance Evaluation Workshop
    Event typeConference
    LocationNew Castle, UK

    Keywords

    • METIS-225816