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.- Sort by
- Weight
- Alphabetically
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 proceeding › Conference contribution › Academic › peer-review
3
Citations
(Scopus)
155
Downloads
(Pure)