Marten Sijtema

According to our database, Marten Sijtema authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

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

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2011