文献
J-GLOBAL ID:201702275729547193
整理番号:17A1772298
ユーザインタフェイスソフトウェアの検証:利用に関連した安全性の要求とプログラム可能な医療機器の例【Powered by NICT】
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices
著者 (4件):
Harrison Michael D.
(Newcastle University, Newcastle upon Tyne, U.K.)
,
Masci Paolo
(Departamento de Informa ́tica, Universidade do Minho, Gualtar, Portugal)
,
Campos Jose Creissac
(Departamento de Informa ́tica, Universidade do Minho, Gualtar, Portugal)
,
Curzon Paul
(Queen Mary University of London, London, U.K.)
資料名:
IEEE Transactions on Human-Machine Systems
(IEEE Transactions on Human-Machine Systems)
巻:
47
号:
6
ページ:
834-846
発行年:
2017年
JST資料番号:
W1031A
ISSN:
2168-2291
CODEN:
ITHSA6
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)