Features of CML: a formal modelling language for systems of systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	7th International Conference on System of System Engineering
Publisher	IEEE
Pages	445-450
ISBN (Print)	978-1-4673-2974-3
DOIs	https://doi.org/10.1109/SYSoSE.2012.6384144
Publication status	Published - 2012
Event	7th International Conference on System of System Engineering - Genoa , Italy Duration: 16 Jul 2012 → 19 Jul 2012

Conference	7th International Conference on System of System Engineering
Country/Territory	Italy
City	Genoa
Period	16/07/12 → 19/07/12

Access to Document

@inproceedings{826ead391b7649459c2431b9804bea55,

title = "Features of CML: a formal modelling language for systems of systems",

author = "Jim Woodcock and Cavalcanti, {Ana Lucia Caneca} and John Fitzgerald and Larsen, {Peter Gorm} and Miyazawa, {Alvaro Heiji} and Simon Perry",

year = "2012",

doi = "10.1109/SYSoSE.2012.6384144",

language = "English",

isbn = "978-1-4673-2974-3 ",

pages = "445--450",

booktitle = "7th International Conference on System of System Engineering",

publisher = "IEEE",

address = "United States",

note = "7th International Conference on System of System Engineering ; Conference date: 16-07-2012 Through 19-07-2012",

}

Woodcock, J , Cavalcanti, ALC, Fitzgerald, J, Larsen, PG, Miyazawa, AH & Perry, S 2012, Features of CML: a formal modelling language for systems of systems. in 7th International Conference on System of System Engineering. IEEE, pp. 445-450, 7th International Conference on System of System Engineering, Genoa , Italy, 16/07/12. https://doi.org/10.1109/SYSoSE.2012.6384144

TY - GEN

T1 - Features of CML

T2 - 7th International Conference on System of System Engineering

AU - Woodcock, Jim

AU - Cavalcanti, Ana Lucia Caneca

AU - Fitzgerald, John

AU - Larsen, Peter Gorm

AU - Miyazawa, Alvaro Heiji

AU - Perry, Simon

PY - 2012

Y1 - 2012

U2 - 10.1109/SYSoSE.2012.6384144

DO - 10.1109/SYSoSE.2012.6384144

M3 - Conference contribution

SN - 978-1-4673-2974-3

SP - 445

EP - 450

BT - 7th International Conference on System of System Engineering

PB - IEEE

Y2 - 16 July 2012 through 19 July 2012

ER -