TY  - RPRT
TI  - Safety assurance of an industrial robotic control system using hardware/software co-verification
AU  - Yvonne Murray
AU  - Martin Sirevåg
AU  - Pedro Ribeiro
AU  - David A. Anisi
AU  - Morten Mossige
PY  - 2021
DO  - 10.1016/j.scico.2021.102766
UR  - https://arxiv.org/abs/2112.12248
ID  - 2112.12248
ER  -