Requirements-level semantics and model checking of object-oriented statecharts

H. Eshuis, D.N. Jansen, Roelf J. Wieringa

    Research output: Contribution to journalArticleAcademicpeer-review

    29 Citations (Scopus)
    2 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Requirements-level semantics and model checking of object-oriented statecharts'. Together they form a unique fingerprint.