A formal analysis of Dutch Generic Integral Tunnel Design models.

Kevin H. J. Jilissen Peter Dieleman Jan Friso Groote

Published in: SAC (2023)

Keyphrases

formal analysis
formal methods
statistical models
probabilistic model
generic model
high level
building blocks
metamodel
engineering design
design space
high speed
business process
computational models
agent model
modeling tool