文献
J-GLOBAL ID:202002263574755286
整理番号:20A0437801
自律消防ロボットモデルの形式的検証と開発【JST・京大機械翻訳】
Formal Verification and Development of an Autonomous Firefighting Robotic Model
著者 (6件):
Tahir Anum
(National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan)
,
Saghar Kashif
(CESAT,Formal Verification Department,Islamabad,Pakistan)
,
Khalid Harris Bin
(National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan)
,
Shadab Butt Umar
(National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan)
,
Khan Umar Shahbaz
(National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan)
,
Asad Usman
(National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
ICRAI
ページ:
1-6
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)