Performance and reliability model checking and model construction

  • H. Hermanns (Invited speaker)

    Activity: Talk or presentation › Oral 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, GermanyShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-120895