Probabilistic UML statecharts for specification and verification: a case study.

D.N. Jansen

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

    54 Citations (Scopus)
    Original languageUndefined
    Title of host publicationCritical systems development with UML. Proceedings of the UML'02 workshop
    EditorsJ. Jurjens, J. Fernandez, B. Eduardo, M.V. Cengarle, B. Rumpe, R. Sandner
    Place of PublicationMünchen: Technische Universiteit München
    Pages121-131
    Number of pages11
    Publication statusPublished - 30 Sep 2002
    EventWorkshop on Critical Systems Development with UML, CSDUML 2002 - Dresden, Germany
    Duration: 30 Sep 20024 Oct 2002

    Publication series

    Name
    Number10208
    VolumeTUM

    Conference

    ConferenceWorkshop on Critical Systems Development with UML, CSDUML 2002
    Abbreviated titleCSDUML
    CountryGermany
    CityDresden
    Period30/09/024/10/02

    Keywords

    • METIS-210529

    Cite this

    Jansen, D. N. (2002). Probabilistic UML statecharts for specification and verification: a case study. In J. Jurjens, J. Fernandez, B. Eduardo, M. V. Cengarle, B. Rumpe, & R. Sandner (Eds.), Critical systems development with UML. Proceedings of the UML'02 workshop (pp. 121-131). München: Technische Universiteit München.