Items where authors include "Woodcock, J. C. P."

Proceedings Paper

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Woodcock, J. C. P. orcid.org/0000-0001-7955-2702 and Amalio, N. orcid.org/0000-0001-8751-5039 (2016) Behavioural Models for FMI Co-simulations. In: Sampaio, A. C. A. and Wang, F., (eds.) International Colloquium on Theoretical Aspects of Computing. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 255-273.

Woodcock, J. C. P. orcid.org/0000-0001-7955-2702, Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Fitzgerald, J. et al. (2 more authors) (2014) Contracts in CML. In: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 54-73.