Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost

Marten Sijtema, Mariëlle Ida Antoinette Stoelinga, Axel Belinfante, Lawrence Marinelli

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

    Engineering & Materials Science