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

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. pages 40-46, IEEE, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.