文献
J-GLOBAL ID:201202205641108098
整理番号:12A1304990
プロセス代数とオンザフライ低減技法を用いたサービスプロトコルの適応
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
著者 (3件):
MATEESCU Radu
(Inria Grenoble-Rhone-Alpes, Montbonnot Saint-Martin, FRA)
,
POIZAT Pascal
(Univ. Paris Sud, Orsay, FRA)
,
SALAUEN Gwen
(Inria Grenoble-Rhone-Alpes, Montbonnot Saint-Martin, FRA)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
38
号:
4
ページ:
755-777
発行年:
2012年07月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)