Jordi E. P. M. van Laarhoven

According to our database, Jordi E. P. M. van Laarhoven authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Formalising and analysing SMMT models using the mCRL2 toolset.

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Int. J. Softw. Tools Technol. Transf., October, 2025

2024

Formalising the Industrial Language SMMT in mCRL2.

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2024