文献
J-GLOBAL ID:201902278451587811
整理番号:19A0705569
動的ソフトウェア更新のモデリングと検証のための統一的な操作的意味論ベースのアプローチに向けて【JST・京大機械翻訳】
Toward a Unified Operational Semantics-Based Approach to Modeling and Verifying Dynamic Software Updating
著者 (1件):
Qian Jiaqi
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2018
号:
ICSESS
ページ:
1-4
発行年:
2018年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)