文献
J-GLOBAL ID:202102277316053461
整理番号:21A0664704
グラフ変換システムにおけるデッドロックの可到達性と検出に対するファジィ遺伝的アルゴリズムアプローチ【JST・京大機械翻訳】
Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems
著者 (4件):
Salimi Nahid
(Faculty of Engineering, Arak University,Department of Computer Engineering,Arak,Iran)
,
Rafe Vahid
(Faculty of Engineering, Arak University,Department of Computer Engineering,Arak,Iran)
,
Tabrizchi Hamed
(Shahid Bahonar University,Department of Computer Science,Kerman,Iran)
,
Mosavi Amir
(Kalman Kando Faculty of Electrical Engineering, Obuda University,Budapest,Hungary)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
CANDO-EPE
ページ:
000241-000250
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)