A probabilistic extension of UML statecharts: specification and verification

    Research output: Book/ReportReportOther research output

    40 Citations (Scopus)
    109 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A probabilistic extension of UML statecharts: specification and verification'. Together they form a unique fingerprint.