Items where Author is "Woodcock, Jim"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 2.
Book Section
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