Items where Author is "Dixon, Clare"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 3.

Webster, Matt, Fisher, Michael and Dixon, Clare (2020) PRISM Models of the FiGo Algorithm. [Data Collection]

Webster, Matt, Dixon, Clare and Fisher, Michael (2018) A Corroborative Approach to Verification and Validation of Human--Robot Teams: PRISM code and properties for the formal verification of the BERT 2 handover scenario. [Data Collection]

Webster, Matt, Dixon, Clare and Fisher, Michael (2016) An Assurance-based Approach to Verification and Validation of Human--Robot Teams: PRISM Code and Properties for the Formal Verification of the BERT 2 Handover Scenario. [Data Collection]

This list was generated on Mon Apr 29 07:31:02 2024 BST.