Modelling stochastic timed systems

P.R. d' Argenio, H. Hermanns, Joost P. Katoen, J. Klaren

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings of the 2nd Workshop on Embedded Systems
    Place of PublicationUtrecht
    PublisherSTW
    Pages-
    Number of pages6
    Publication statusPublished - 2001
    Event2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands
    Duration: 18 Oct 200118 Oct 2001
    Conference number: 2

    Workshop

    Workshop2nd PROGRESS Workshop on Embedded Systems 2001
    Abbreviated titlePROGRESS
    CountryNetherlands
    CityVeldhoven
    Period18/10/0118/10/01

    Keywords

    • METIS-203953

    Cite this