文献
J-GLOBAL ID:202102258866381677
整理番号:21A0891080
空間論理のモデル検査【JST・京大機械翻訳】
Model Checking of Spatial Logic
著者 (6件):
Li Tengfei
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China)
,
Liu Jing
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China)
,
Kang JieXiang
(China Aeronautical Radio Electronics Research Institute,Shanghai,China)
,
Sun Haiying
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China)
,
Chen Xiaohong
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China)
,
Han Li
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
APSEC
ページ:
169-177
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)