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

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

    Research output: Contribution to journal › Article › Academic › peer-review

    28 Citations (Scopus)
    10 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.