文献
J-GLOBAL ID:202202275781772797
整理番号:22A0795898
ハードウェア/ソフトウエア共検証を用いた工業用ロボット制御システムの安全保証【JST・京大機械翻訳】
Safety assurance of an industrial robotic control system using hardware/software co-verification
著者 (6件):
Murray Yvonne
(Dept. of Mechatronics, Faculty of Engineering and Science, University of Agder (UiA), Norway)
,
Sirevag Martin
(Dept. of Mechatronics, Faculty of Engineering and Science, University of Agder (UiA), Norway)
,
Ribeiro Pedro
(Dept. of Computer Science, University of York, UK)
,
Anisi David A.
(Dept. of Mechatronics, Faculty of Engineering and Science, University of Agder (UiA), Norway)
,
Anisi David A.
(Robotics Group, Faculty of Science & Technology, Norwegian University of Life Sciences (NMBU), Norway)
,
Mossige Morten
(ABB Robotics, Bryne, Norway)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
216
ページ:
Null
発行年:
2022年
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)