Items where Author is "Duncan, S"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Kurowski, M, Babski, R, Duncan, S, Perrotin, M and Webster, M (2021) Model Checking for Formal Verification of Space Systems. In: Model Based Space Systems and Software Engineering (MBSE2021), 29 September 2021 - 30 September 2021, Virtual.
Allwork, L, Sanderson, S, Aumann, K, Campbell, N, Coghill, L, Crudgington, B, Day, N, Dunbar, S, Knowles, Z, Morriss, S, Aggett, S, Manners, P, Duncan, S, Foard, M, Kerrigan, J and Whittaker, L (2021) PEP Insights Research Survey Report. Technical Report. NCCPE.