Cyber Physical Systems About us 天发娱乐棋牌_天发娱乐APP-官网|下载 people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications 天发娱乐棋牌_天发娱乐APP-官网|下载 projects have an impact in many different industries. Browse our publications to find out more Dynamic DNNs meet runtime resource management for efficient heterogeneous computing Lei Xun, Jonathon Hare & Geoff Merrett, 2023 Type: conference An information security model for an IoT-enabled smart grid in the Saudi energy sector Abeer Siraj A Akkad, G. Wills & A. Rezazadeh, 2023 DOI: 10.1109/SASG57022.2022.10200572 Type: conference A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems Fahad Abduallah Alotaibi, Son Hoang & Michael Butler, 2023 DOI: 10.1109/COMPSAC57700.2023.00262 Type: conference Designing critical systems using hierarchical STPA and event-B Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Abduallah Alotaibi & Michael Butler, 2023 Type: conference A fairness-based refinement strategy to transform liveness properties in Event-B models Chenyang Zhu, Michael Butler, Corina Cirstea & Son Hoang, 2023, Science of Computer Programming, 225 DOI: 10.1016/j.scico.2022.102907 Type: article Pagination Previous page ? Previous Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ?