Sort by
Refine Your Search
-
Category
-
Field
-
verification methodology and corresponding toolchain to detect and mitigate such threats to CPS at the design time making the CPS resilient-by-design. Typically, CPS are modelled as hybrid systems, comprising
-
) computational mechanics, (2) thermo-mechanical modelling using Finite Element (FE) method and FE simulation software (e.g. ANSYS), (3) Model Order Reduction (MOR) methods for mechanical simulation (4) numerical
-
be expected to utilise or support the development and enhancement of our fire modelling suite of software, and its deployment on the university HPC & GPU based system. The position is primarily
Searches related to software verification
Enter an email to receive alerts for software-verification positions