Safety assurance of an industrial robotic control system using hardware/software co-verification

Safety assurance of an industrial robotic control system using hardware/software co-verification
复制标题

使用硬件/软件协同验证的工业机器人控制系统的安全保证

DOI:
--
复制
发表时间:
2021
影响因子:
1.3
通讯作者:
Morten Mossige
Morten Mossige
中科院分区:
计算机科学4区
文献类型:
--
作者:
Yvonne Murray;Martin Sirevåg;Pedro Ribeiro;D. A. Anisi;Morten Mossige

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1007/978-3-642-14521-6_4
发表时间: 2010
期刊: --
影响因子: --
作者:
Cavalcanti A
通讯作者: Cavalcanti A
DOI: 10.1007/978-3-642-22306-8_11
发表时间: 2011-07
期刊: --
影响因子: --
作者:
Markus Weißmann;Stefan Bedenk;C. Buckl;A. Knoll
通讯作者: Markus Weißmann;Stefan Bedenk;C. Buckl;A. Knoll
tock-CSP 中的合理推理
DOI: --
发表时间: 2021
期刊: Acta Informatica
影响因子: 0.6
作者:
Baxter J
通讯作者: Baxter J