By the same authors

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Nilsson, Rene; Gamble, Carl; Foster, Simon David.

7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. 2016. p. 171-186.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Larsen, PG, Fitzgerald, J, Woodcock, J, Nilsson, R, Gamble, C & Foster, SD 2016, Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. in 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. pp. 171-186. <http://link.springer.com/chapter/10.1007%2F978-3-319-47169-3_13>

APA

Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., & Foster, S. D. (2016). Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (pp. 171-186) http://link.springer.com/chapter/10.1007%2F978-3-319-47169-3_13

Vancouver

Larsen PG, Fitzgerald J, Woodcock J, Nilsson R, Gamble C, Foster SD. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. 2016. p. 171-186

Author

Larsen, Peter Gorm ; Fitzgerald, John ; Woodcock, Jim ; Nilsson, Rene ; Gamble, Carl ; Foster, Simon David. / Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. 2016. pp. 171-186

Bibtex - Download

@inproceedings{fd9b2afb01be4fe692e9e698fa8d38af,
title = "Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design",
author = "Larsen, {Peter Gorm} and John Fitzgerald and Jim Woodcock and Rene Nilsson and Carl Gamble and Foster, {Simon David}",
year = "2016",
month = oct,
language = "English",
isbn = "978-3-319-47168-6",
pages = "171--186",
booktitle = "7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

AU - Larsen, Peter Gorm

AU - Fitzgerald, John

AU - Woodcock, Jim

AU - Nilsson, Rene

AU - Gamble, Carl

AU - Foster, Simon David

PY - 2016/10

Y1 - 2016/10

M3 - Conference contribution

SN - 978-3-319-47168-6

SP - 171

EP - 186

BT - 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation

ER -