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., Woodcock, J. C. P. and Amalio, N. (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., Cavalcanti, A. L. C., 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.