Marten Sijtema

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Development Kit

Intelligent Software

Test Data Generation

Protocol Specification

Top Venues

Sci. Comput. Program.

Publications

Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga, Lawrence Marinelli
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. Sci. Comput. Program. 80 (2014)
Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. FMICS (2011)