文献
J-GLOBAL ID:202102292157867359
整理番号:21A0673545
状態空間枝刈りに基づく並行ソフトウェアのCPNモデル検査方法【JST・京大機械翻訳】
CPN Model Checking Method of Concurrent Software Based on State Space Pruning
著者 (3件):
Sun Tao
(College of Computer Science, Inner Mongolia University,Hohhot,China)
,
Yang Jing
(College of Computer Science, Inner Mongolia University,Hohhot,China)
,
Zhong Wenjie
(College of Computer Science, Inner Mongolia University,Hohhot,China)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
TrustCom
ページ:
1390-1394
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)