文献
J-GLOBAL ID:201702261411462701
整理番号:17A0308466
特性故障注入を用いたデバイスドライバの鉱業とチェック対関数【Powered by NICT】
Mining and checking paired functions in device drivers using characteristic fault injection
著者 (4件):
Bai Jia-Ju
(Department of Computer Science and Technology, Tsinghua University, Beijing, China)
,
Wang Yu-Ping
(Department of Computer Science and Technology, Tsinghua University, Beijing, China)
,
Liu Hu-Qiu
(Department of Computer Science and Technology, Tsinghua University, Beijing, China)
,
Hu Shi-Min
(Department of Computer Science and Technology, Tsinghua University, Beijing, China)
資料名:
Information and Software Technology
(Information and Software Technology)
巻:
73
ページ:
122-133
発行年:
2016年05月
JST資料番号:
B0445B
ISSN:
0950-5849
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)