Modest: A model description language for stochastic timed systems

P.R. d' Argenio (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Aalborg, Denmark
    Period20 Feb 2001
    Event titleTalk at University of Aalborg
    Event typeConference
    LocationAalborg, Denmark

    Keywords

    • METIS-205014