Login / Signup
Martin Sirevåg
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Control Scheme
Partial Discharge
Hw Sw
Hardware Software
Top Venues
CoRR
Sci. Comput. Program.
SBMF
</>
Publications
</>
Yvonne Murray
,
Martin Sirevåg
,
Pedro Ribeiro
,
David A. Anisi
,
Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification.
Sci. Comput. Program.
216 (2022)
Yvonne Murray
,
Martin Sirevåg
,
Pedro Ribeiro
,
David A. Anisi
,
Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification.
CoRR
(2021)
Yvonne Murray
,
David A. Anisi
,
Martin Sirevåg
,
Pedro Ribeiro
,
Rabah Saleh Hagag
Safety Assurance of a High Voltage Controller for an Industrial Robotic System.
SBMF
(2020)