Modest: A Model Description Language for Stochastic Timed Systems

H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Dortmund, Germany
    Period2 Dec 2002
    Event titleTalk at AMETIST meeting
    Event typeConference
    LocationDortmund, Germany

    Keywords

    • METIS-209132