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 Developing a framework for trustworthy autonomous maritime systems Dana Dghaym, Stephen Turnock, Michael Butler, Jonathan Downes, Thai Son Hoang & Ben Pritchard, 2019 DOI: 10.2478/9788395669606-007 Type: conference Emergency response ontology informatics: using ontologies to improve emergency and hazard management Temitope Omitola & Gary Wills, 2019, International Journal of Intelligent Computing Research (IJICR), 10(3), 1022-1032 DOI: 10.20533/ijicr.2042.4655.2019.0124 Type: article Intersections between IoT and distributed ledger Hany F. Atlam & Gary B. Wills, 2019, Advances in Computers, 115, 73-113 DOI: 10.1016/bs.adcom.2018.12.001 Type: article Pegasus: a framework for sound continuous invariant generation 2019 DOI: 10.1007/978-3-030-30942-8_10 Type: conference 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 Pagination Previous page Previous … Page 28 Page 29 Page 30 Page 31 Page 32 Page 33 … Next page Next