文献
J-GLOBAL ID:201202266154613290
整理番号:12A0721828
ビジネスプロセスにおける制御活動の有効性の形式的検証
Formal Verification of Effectiveness of Control Activities in Business Processes
著者 (3件):
ARIMOTO Yasuhito
(School of Information Sci., Japan Advanced Inst. of Sci. and Technol. (JAIST))
,
IIDA Shusaku
(School of Network and Information, Senshu Univ.)
,
FUTATSUGI Kokichi
(School of Information Sci., Japan Advanced Inst. of Sci. and Technol. (JAIST))
資料名:
IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)
(IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))
巻:
E95-D
号:
5
ページ:
1342-1354 (J-STAGE)
発行年:
2012年
JST資料番号:
L1371A
ISSN:
0916-8532
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)