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