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

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

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