文献
J-GLOBAL ID:201302288961801956
整理番号:13A1033671
Webサービス構成プロトコルのための形式的検証を支援するモデル駆動のアプローチ
Model-driven approach supporting formal verification for web service composition protocols
著者 (5件):
DUMEZ C.
(Univ. of Technol. of Belfort-Monbeliard, 90000 Belfort Cedex, FRA)
,
BAKHOUYA M.
(Aalto Univ., Otakaari 4, FIN-00076 Aalto, FIN)
,
GABER J.
(Univ. of Technol. of Belfort-Monbeliard, 90000 Belfort Cedex, FRA)
,
WACK M.
(Univ. of Technol. of Belfort-Monbeliard, 90000 Belfort Cedex, FRA)
,
LORENZ P.
(Univ. of Haute Alsace, IUT, 34 rue du Grillenbreit, 68008 Colmar, FRA)
資料名:
Journal of Network and Computer Applications
(Journal of Network and Computer Applications)
巻:
36
号:
4
ページ:
1102-1115
発行年:
2013年07月
JST資料番号:
H0842A
ISSN:
1084-8045
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)