Implementing a Model Checker for Performability Behaviour

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

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

    Keywords

    • METIS-204452