MoDeST: A Modelling Language for Stochastic Timed Systems

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period29 Nov 2000
    Held atUniversity of Birmingham, United Kingdom

    Keywords

    • METIS-120889