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 P., 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

    Jansen, D. N. (2003). Extentions of Statecharts with Probability, Time and Stochastic Timing. Bern, Zwitserland: Inmarks ag.