文献
J-GLOBAL ID:201702251382752447
整理番号:17A1592764
動作指向の文脈認識アプリケーションの仕様と実行時検証【JST・京大機械翻訳】
Specification and Runtime Verification for Activity-Oriented Context-Aware Applications
著者 (4件):
Li Xuansong
(南京理工大学計算机科学与工程学院,江蘇南京210094;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
,
Tao Xianping
(計算机軟件新技術国家重点実験室(南京大学),江蘇南京,210023)
,
Lv Jian
(計算机軟件新技術国家重点実験室(南京大学),江蘇南京,210023)
,
Song Wei
(南京理工大学計算机科学与工程学院,江蘇南京210094;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
28
号:
5
ページ:
1167-1182
発行年:
2017年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)