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]
@inproceedings{FitzgeraldGLPW15,
title = {Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains},
author = {John S. Fitzgerald and Carl Gamble and Peter Gorm Larsen and Kenneth Pierce and Jim Woodcock},
year = {2015},
doi = {10.1109/FormaliSE.2015.14},
url = {http://dx.doi.org/10.1109/FormaliSE.2015.14},
researchr = {https://researchr.org/publication/FitzgeraldGLPW15},
cites = {0},
citedby = {0},
pages = {40-46},
booktitle = {3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015},
publisher = {IEEE},
isbn = {978-1-4673-7043-1},
}