文献
J-GLOBAL ID:202102275579703246
整理番号:21A0150427
遅延抽象化と精密化に基づく組込み組立プログラムのリアルタイム特性のためのソフトウェアモデル検査【JST・京大機械翻訳】
Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement
著者 (3件):
Wu Yajun
(Kanazawa University,Kakuma-machi,Kanazawa,Japan,920-1192)
,
Kamide Hiromu
(Kanazawa University,Kakuma-machi,Kanazawa,Japan,920-1192)
,
Yamane Satoshi
(Kanazawa University Institute of Science and Engineering,Kakuma-machi,Kanazawa,Japan,920-1192)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
GCCE
ページ:
62-65
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)