文献
J-GLOBAL ID:202002249834054306
整理番号:20A2775980
クラウド複合サービス検証のためのイベントBベースアプローチ【JST・京大機械翻訳】
An Event-B based approach for cloud composite services verification
著者 (4件):
Lahouij Aida
(Universite de Sousse, ISITCom, Hammam Sousse, Tunisia)
,
Hamel Lazhar
(ISIMM, Monastir University, Monastir, Tunisia)
,
Graiet Mohamed
(ENSAI RENNES, Bruz, France)
,
el Ayeb Bechir
(FSM, Monastir University, Monastir, Tunisia)
資料名:
Formal Aspects of Computing
(Formal Aspects of Computing)
巻:
32
号:
4-6
ページ:
361-393
発行年:
2020年
JST資料番号:
T0973A
ISSN:
0934-5043
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)