Items where authors include "Tudor, Nick"
Proceedings Paper
Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, O'Halloran, Colin et al. (2 more authors) (2020) Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study. In: FormaliSE '20:Proceedings of the 8th International Conference on Formal Methods in Software Engineering. UNSPECIFIED. ACM .
Book
Alexander, Rob orcid.org/0000-0003-3818-0310, Asgari, Hamid, Ashmore, Rob, Banks, Andrew, Bongirwar, Rajiv, Bradshaw, Ben, Bragg, John, Clegg, John, Fenn, Jane, Harper, Chris, Harvey, David, Johnson, Nakita, Menon, Catherine, Rivett, Roger Stephen, Ryan, Philippa, Sujan, Mark, Tudor, Nick and Tushingham, Stuart (2020) Safety Assurance Objectives for Autonomous Systems. Safety Critical Systems Club , (112pp).
Alexander, Rob orcid.org/0000-0003-3818-0310, Ashmore, Rob, Banks, Andrew, Bradshaw, Ben, Bragg, John, Clegg, John, Harper, Chris, Menon, Catherine, Rivett, Roger Stephen, Ryan, Philippa, Tudor, Nick, Tushingham, Stuart, Birch, John, Burski, Lavinia, Coley, Timothy, Lewis, Neil, Neal, Ken, Price, Ashley, Reid, Stuart, Simpson, Alan and Steel, Rod (2019) Safety Assurance Objectives for Autonomous Systems. Safety Critical Systems Club , (66pp).