Performance and reliability model checking and model construction

H. Hermanns (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited
    Period4 Apr 2000
    Event title5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000
    Event typeWorkshop
    Conference number5
    LocationBerlin, Germany
    Degree of RecognitionInternational

    Keywords

    • METIS-120895