Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications Our projects have an impact in many different industries. Browse our publications to find out more An information security model for an IoT-enabled smart grid Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2022 DOI: 10.5220/0011042200003194 Type: conference Developing the UML-B modelling tools Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi & Dana Dghaym, 2022 Type: conference Generating SPARK from Event-B, providing fundamental safety and security Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler & Colin Snook, 2022 Type: conference Open licensed AAC in a collaborative ecosystem E.A. Draffan & David Banes, 2022 DOI: 10.1007/978-3-031-08648-9_56 Type: conference TinyOps: ImageNet Scale Deep Learning on Microcontrollers Sulaiman Sadiq, Jonathon Hare, Partha Maji, Simon Craske & Geoff Merrett, 2022 Type: conference Pagination Previous page ‹ Previous … Page 5 Page 6 Page 7 Page 8 Current page 9 Page 10 Page 11 Page 12 Page 13 … Next page Next ›