1 verification PhD positions at University of Greenwich in United Kingdom

PhD Studentship: Resilient-by-design Cyber Physical Systems against Data Integrity Attacks

University of Greenwich | London, England | United Kingdom | about 23 hours ago

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