Login / Signup
Peter Dieleman
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Industrial Environment
Top Venues
SAC
MARS@ETAPS
</>
Publications
</>
Kevin H. J. Jilissen
,
Peter Dieleman
,
Jan Friso Groote
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment.
MARS@ETAPS
(2024)
Kevin H. J. Jilissen
,
Peter Dieleman
,
Jan Friso Groote
A formal analysis of Dutch Generic Integral Tunnel Design models.
SAC
(2023)