Extentions of Statecharts with Probability, Time and Stochastic Timing

D.N. Jansen

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageUndefined
    Supervisors/Advisors
    • Wieringa, Roelf Johannes, Supervisor
    • Katoen, Joost-Pieter, Advisor
    Award date29 Oct 2003
    Place of PublicationBern, Zwitserland
    Publisher
    Print ISBNs3-9522850-0-5
    Publication statusPublished - 29 Oct 2003

    Keywords

    • METIS-215091

    Cite this