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
中科院分区：
文献类型：
--
作者：
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 中的合理推理
影响因子：
0.6
作者：
Baxter J
通讯作者：
Baxter J