Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification

Murray, Yvonne, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Anisi, David A. et al. (2 more authors) Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Metadata

Authors/Creators:
Keywords: robotics, formal verification
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Electronic Engineering (York)
Funding Information:
FunderGrant number
EPSRCEP/M025756/1
Depositing User: Pure (York)
Date Deposited: 30 Nov 2022 16:00
Last Modified: 06 Dec 2023 10:37
Status: Unpublished
Refereed: No

Download

Export

Statistics


CORE (COnnecting REpositories)