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 Evolutionary data subset selection for class-Incremental learning on memory-constrained systems Epifanios Baikas, Danesh Tarapore & David Thomas, 2024 DOI: 10.1145/3638530.3654109 Type: conference Designing exception handling using Event-B Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone, 2024 Type: conference Event-B development of modelling human intervention request in self-driving vehicle systems Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi & Michael Butler, 2024 Type: conference Property ownership formal modelling using Event-B and iUML-B Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi & Gary Wills, 2024 Type: conference Semantics formalisation – from Event-B contexts to theories Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler, 2024 Type: conference Pagination Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ?