文献
J-GLOBAL ID:201202244275584910
整理番号:12A1670708
サービスベースシステムのためのデータセントリックな時間関連特性の仕様と監視
Specification and monitoring of data-centric temporal properties for service-based systems
著者 (7件):
WU Guoquan
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
WEI Jun
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
YE Chunyang
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
ZHONG Hua
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
HUANG Tao
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
HE Hong
(Shandong Univ., Weihai, CHN)
,
YE Chunyang
(Univ. Toronto, CAN)
資料名:
Journal of Systems and Software
(Journal of Systems and Software)
巻:
85
号:
12
ページ:
2738-2754
発行年:
2012年12月
JST資料番号:
C0845B
ISSN:
0164-1212
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)