Items where Author is "Payne, Richard"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
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