Bart Oosthoek

According to our database, Bart Oosthoek authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Development and Validation of Functional Model of a Cruise Control System.

Avinash Visagan Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna M. van de Mortel-Fronczak, Jos Beijer

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016