Model Checking Markovian Dependability Models

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Göteborg, Sweden
    Period4 Jul 2001
    Event titleInternational Conference on Dependable Systems and Networks, DSN 2001
    Event typeConference
    LocationGöteborg, Sweden

    Keywords

    • METIS-204453