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 SEB-CG: Code generation tool with algorithmic refinement support for Event-B Mohammad Sadegh Dalvandi, Michael Butler & Asieh Salehi Fathabadi, 2019 Type: conference Reusing formal models via lifting Dana Dghaym, Colin Snook, Thai Son Hoang & Michael Butler, 2018 DOI: 10.1109/ICECCS2018.2018.00029 Type: conference Technical aspects of blockchain and IoT Hany F. Atlam & Gary B. Wills, 2018 DOI: 10.1016/bs.adcom.2018.10.006 Type: bookChapter Towards confirming an Information Assurance framework for eGovernment in Indonesia Rio Guntur Utomo, Gary B. Wills & Robert J. Walters, 2018 DOI: 10.1109/ICTSS.2018.8550010 Type: conference DeepSaucer Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang & Michael Butler, 2018, arXiv Type: article Pagination Previous page ‹ Previous … Page 38 Page 39 Page 40 Page 41 Current page 42 Page 43 Page 44 Page 45 Page 46 … Next page Next ›