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 The CamilleX Framework for the Rodin Platform Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021 DOI: 10.1007/978-3-030-77543-8_11 Type: conference Towards scalable modeling of biology in Event-B Usman Sanwal, Thai Son Hoang, Luigia Petre & Ion Petre, 2021 DOI: 10.48550/arXiv.2105.10344 Type: other Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions Chenyang Zhu, Michael Butler, Corina Cirstea & Thai Son Hoang, 2021 Type: conference Exploring performance enhancement of event-driven processor networks Tim Todman, David Thomas & Wayne Luk, 2021 DOI: 10.1109/ICFPT51103.2020.00056 Type: conference An STPA-based formal composition framework for trustworthy autonomous maritime systems Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes & Ben Pritchard, 2021, Safety Science, 136(0925-7535) DOI: 10.1016/j.ssci.2020.105139 Type: article Pagination Previous page ? Previous … Page 10 Page 11 Page 12 Page 13 Page 14 Page 15 Page 16 Page 17 Page 18 … Next page Next ?