Xavier Manuel van Dommelen

According to our database, Xavier Manuel van Dommelen authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Model-Based Testing of Internet of Things Protocols.

Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel

Proceedings of the Formal Methods for Industrial Critical Systems, 2022