Skip to main navigation Skip to search Skip to main content

MoDeST: A Modelling Language for Stochastic Timed Systems

    Activity: Talk or presentationOral presentation

    Period29 Nov 2000
    Held atUniversity of Birmingham, United Kingdom

    Keywords

    • METIS-120889