文献
J-GLOBAL ID:202002232737530751
整理番号:20A1933959
有界モデル検査に基づく並行バグ発見【JST・京大機械翻訳】
Concurrent Bug Finding Based on Bounded Model Checking
著者 (1件):
Vujosevic Janicic Milena
(Faculty of Mathematics, University of Belgrade, Studentski trg 16, 11 000 Belgrade, Serbia)
資料名:
International Journal of Software Engineering and Knowledge Engineering
(International Journal of Software Engineering and Knowledge Engineering)
巻:
30
号:
5
ページ:
669-694
発行年:
2020年
JST資料番号:
W0383A
ISSN:
0218-1940
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
シンガポール (SGP)
言語:
英語 (EN)