Items where authors include "Gamble, Carl"

Conference or Workshop Item

Woodcock, Jim orcid.org/0000-0001-7955-2702, Fitzgerald, John, Gamble, Carl et al. (2 more authors) (2015) Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In: UNSPECIFIED.

Proceedings Paper

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2018) Features of integrated model-based co-modelling and co-simulation technology. In: Cerone, Antonio and Roveri, Marco, (eds.) Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops:DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, 04-05 Sep 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , ITA , pp. 377-390.

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (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. UNSPECIFIED. , pp. 171-186.