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

M. Sijtema, G. Salaün (Editor), B. Schätz (Editor), Axel Belinfante, Mariëlle Ida Antoinette Stoelinga, L. Marinelli

    Research output: Contribution to journalArticleAcademicpeer-review

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