IEEE - Institute of Electrical and Electronics Engineers, Inc. - Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Author(s): John Fitzgerald ; Carl Gamble ; Peter Gorm Larsen ; Kenneth Pierce ; Jim Woodcock
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2015
Conference Location: Florence, Italy
Conference Date: 18 May 2015
Page(s): 40 - 46
ISBN (Electronic): 978-1-4673-7043-1
DOI: 10.1109/FormaliSE.2015.14
Regular:

The engineering of dependable cyber-physical systems (CPSs) is inherently collaborative, demanding cooperation between diverse disciplines. A goal of current research is the development of... View More

Advertisement