Items where authors include "Tudor, Nick"

Article

Wei, Ran, Foster, Simon David orcid.org/0000-0002-9889-9514, Mei, Haitao et al. (7 more authors) (2024) ACCESS:Assurance Case Centric Engineering of Safety-critical Systems. Journal of Systems and Software. 112034. ISSN 0164-1212

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).