-
computational models for trustworthy applications in critical care. The doctoral position is part of the research initiative “The Digital Society” at ØUC. Project description Intensive Care Units (ICUs) generate
-
of buildings by combining simulations with experimental data investigate human comfort based on the experience of the occupants of buildings building information modelling and digital twins development of user
Searches related to model checking
Enter an email to receive alerts for model-checking positions