Items where Author is "Duncan, S"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Monograph | Conference or Workshop Item
Number of items: 2.
Monograph
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.
Conference or Workshop Item
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.