1 software-verification-phd PhD positions at University of Greenwich

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

University of Greenwich | London, England | United Kingdom | 2 days 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