Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

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.

This list was generated on Mon Oct 14 09:54:32 2019 BST.