Login / Signup
Peter Dieleman
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Metamodel
High Speed
Formal Analysis
Design Space
Top Venues
SAC
</>
Publications
</>
Kevin H. J. Jilissen
,
Peter Dieleman
,
Jan Friso Groote
A formal analysis of Dutch Generic Integral Tunnel Design models.
SAC
(2023)