Modelling stochastic timed systems

Pedro R. d' Argenio, Holger Hermanns, Joost P. Katoen, Ric Klaren

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    40 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Modelling stochastic timed systems'. Together they form a unique fingerprint.

    Computer Science