Probabilistic UML statecharts for specification and verification: a case study

D.N. Jansen, J. Jürjens (Editor), M.V. Cengarle (Editor), E.B. Fernandez (Editor), B. Rumpe (Editor), R. Sander (Editor)

    Research output: Contribution to conference › Paper › peer-review

    Fingerprint

    Dive into the research topics of 'Probabilistic UML statecharts for specification and verification: a case study'. Together they form a unique fingerprint.