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 Formal language semantics for triggered enable statecharts with a run-to-completion scheduling Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook & Michael Butler, 2023 Type: conference An information security model for an IoT-enabled smart grid in the Saudi energy sector Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2023, Computers & Electrical Engineering, 105 DOI: 10.1016/j.compeleceng.2022.108491 Type: article Trust modelling and verification using Event-B Asieh Salehi Fathabadi & Vahid Yazdanpanah, 2023 Type: conference Enabling ImageNet-scale deep learning on MCUs for accurate and efficient inference Sulaiman Sadiq, Jonathon Hare, Simon Craske, Partha Maji & Geoff Merrett, 2023, IEEE Internet of Things Journal Type: article Routing in intermittently powered IoT networks Sara Alsodairi, Geoff V. Merrett, Alex S. Weddell & Nawfal Al Hashimy, 2023 Type: conference 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 ?