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 Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B Dana Dghaym, Mohammad Sadegh Dalvandi, Michael Poppleton & Colin Snook, 2019, International Journal on Software Tools for Technology Transfer DOI: 10.1007/s10009-019-00548-w Type: article Systematic verification and testing Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick & Peter Tummeltshammer, 2019 DOI: 10.1007/978-3-030-14628-3_9 Type: bookChapter The circuit breaker pattern targeted to future IoT applications Gibeon Aquino, Rafael Queiroz, Geoff Merrett & Bashir Al-Hashimi, 2019 DOI: 10.1007/978-3-030-33702-5_30 Type: conference Domain-specific scenarios for refinement-based methods Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler, 2019 DOI: 10.1007/978-3-030-32213-7_2 Type: conference Energy-neutral wireless-powered networks Oktay Cetinkaya, Ergin Dinc, Caglar Koca, Geoff Merrett & Ozgur B. Akan, 2019, IEEE Wireless Communications Letters, 8(5), 1373-1376 DOI: 10.1109/LWC.2019.2918527 Type: letterEditorial Pagination Previous page ‹ Previous … Page 24 Page 25 Page 26 Page 27 Current page 28 Page 29 Page 30 Page 31 Page 32 … Next page Next ›