Items where authors include "Tudor, Nick"

Export as [feed] Atom [feed] RSS
Number of items: 3.

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

This list was generated on Sun Mar 24 22:55:57 2024 GMT.