Items where Author is "Woodcock, Jim"

Cavalcanti, Ana and Woodcock, Jim and Amalio, Nuno (2016) Behavioural Models for FMI Co-simulations. In: Theoretical Aspects of Computing – ICTAC 2016. Lecture Notes in Computer Science . Springer, pp. 255-273. ISBN 978-3-319-46749-8

Amalio, Nuno and Payne, Richard and Cavalcanti, Ana and Woodcock, Jim (2016) Checking SysML Models for Co-simulation. In: Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science, 10009 . Springer. ISBN 978-3-319-47845-6