Quantitative Verification of Reactive and Embedded Systems

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Lausanne, Switzerland
    Period29 Apr 2002
    Event titleTalk Colloquium at EPFL
    Event typeConference
    LocationLausanne, Switzerland

    Keywords

    • METIS-209207