Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost

M. Sijtema, A. Belinfante, M.I.A. Stoelinga, L. Marinelli

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

    7 Citations (Scopus)
    179 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost'. Together they form a unique fingerprint.

    Computer Science