-
leader is Associate Professor Soledad Gonzalo Cogno. About the project The successful candidate will contribute to the development of mathematical and computational models to enquire about the mechanisms
-
infrastructure. The research will combine advanced finite element simulations, blast loading models and fluid–structure interaction analyses to establish methods for assessing the protective capacity of existing
Searches related to model checking
Enter an email to receive alerts for model-checking positions in computer-science