Skip to main content

Towards a European Roadmap on Research and Innovation in Engineering and Management of Cyber-physical Systems of Systems

Publications

Core research and innovation areas in cyber-physical systems of systems

Author(s): Reniers, M.A.; Engell, S.; Thompson, H.

Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains

Author(s): Peter Gorm Larsen; John Fitzgerald; Ken Pierce; Jcp Woodcock; Carl Gamble
Published in: IEEE Fitzgerald , J , Gamble , C , Larsen , P G , Pierce , K & Woodcock , J 2015 , Cyber-Physical Systems Design : Formal Foundations, Methods and Integrated Tool Chains . in Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) . IEEE , pp. 40-46 , 3rd FME Workshop on Formal Methods in Software Engineering , Florence , Italy , 18/05/2015 . https://doi.org/10.1109/FormaliSE.2015.14 2015
Permanent ID: Digital Object Identifier:10.1109/formalise.2015.14