文献
J-GLOBAL ID:201802228694302198
整理番号:18A2062774
Webサービス構成における形式的検証手法:将来の研究のための現在の挑戦の包括的分析【JST・京大機械翻訳】
Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research
著者 (4件):
Souri Alireza
(Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran)
,
Rahmani Amir Masoud
(Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran)
,
Rahmani Amir Masoud
(Computer Science, University of Human Development, Sulaimanyah, Iraq)
,
Jafari Navimipour Nima
(Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran)
資料名:
International Journal of Communication Systems
(International Journal of Communication Systems)
巻:
31
号:
17
ページ:
e3808
発行年:
2018年
JST資料番号:
T0595A
ISSN:
1074-5351
CODEN:
IJCYEZ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)