Implementing a Model Checker for Performability Behaviour

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Period16 Sep 2001
    Event title5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001
    Event typeWorkshop
    Conference number5
    LocationErlangen, Germany
    Degree of RecognitionInternational

    Keywords

    • METIS-204452