System safety, dependability and security analysis
A national virtual bridge engineering contest for kids of all ages.
Modeling and Simulation made NiCE!
Safecap Platform for improving railway capacity via formal modelling
Human protein similarity network used to predict drug safety.
A wildfire decision support system and visualization tool from Emxsys.
Helping to improve drinking water safety where there isn't much.
Software platform for the control of astronomical instruments.