Newcastle University

Keynote at Formalise workshop

CPLab's John Fitzgerald gives keynote on Cyber Physical Design at the Formalise FME Workshop on Formal Methods in Software Engineering workshop (as part of the ICSE 2015 conference).  John's talk, titled "Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Toolchains", presented the vision of the INTO-CPS project.  Newcastle University is a partner currently contributing towards INTO-CPS.

Last modified: Fri, 22 May 2015 14:49:30 BST

‌

Cyber-Physical Systems Lab

Newcastle University, Newcastle upon Tyne
NE1 7RU, United Kingdom.

Photography credits: Claire Ingram and Ken Pierce