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 Scenario Checker: An Event-B tool for validating abstract models Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym & Michael Butler, 2021 Type: conference The dual function of explanations: Why computing explanations is of value Niko Tsakalakis, Sophie Stalla-Bourdillon, Laura Carmichael, Dong Huynh, Luc Moreau & Ayah Helal, 2021 DOI: 10.5040/9781509954544.ch-005 Type: bookChapter The VoIP PBX Honeypot Advance Persistent Threat Analysis Nathaniel McInnes & Gary Wills, 2021 DOI: 10.5220/0010443500700080 Type: conference Towards CamilleX 3.0 Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym & Michael Butler, 2021 Type: conference DEff-ARTS: differentiable efficient ARchiTecture search Sulaiman Sadiq, Partha Maji, Jonathon Hare & Geoff Merrett, 2020 Type: conference Pagination Previous page ? Previous … Page 13 Page 14 Page 15 Page 16 Page 17 Page 18 Page 19 Page 20 Page 21 … Next page Next ?