Johan van den Bogaard

According to our database, Johan van den Bogaard authored at least 1 paper in 2025.

Collaborative distances:

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

2025

A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier.

Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman

Proceedings of the Formal Methods for Industrial Critical Systems, 2025