-
will be modelled by analytical and numerical approaches. Existing analytical approaches will be used as a tool to describe the behaviour of fire exposed TRC in tension, while numerical simulations will
-
of numerical modelling and the validation of numerical results by an experimental study on material level. Firstly, the development of hydration processes including the carbonated matrix in three-dimensional
Searches related to model checking
Enter an email to receive alerts for model-checking positions