文献
J-GLOBAL ID:202102222607400217
整理番号:21A0153120
Recker:割込み駆動プログラムのためのCBMCベースのデータ競合検出器【JST・京大機械翻訳】
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs
著者 (5件):
Feng Haining
(Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology,Changsha,China)
,
Yin Liangze
(Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology,Changsha,China)
,
Lin Wenfeng
(China Academy of Engineering Physics,Mianyang,China)
,
Zhao Xudong
(Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology,Changsha,China)
,
Dong Wei
(Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology,Changsha,China)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
QRS-C
ページ:
465-471
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)