Formalization of Risks and Control Activities in Business Process
Formalization of Risks and Control Activities in Business Process
复制标题
业务流程中风险和控制活动的形式化
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Yasuhito Arimoto;Shusaku Iida;Kokichi Futatsugi
登录
查看更多内容
DOI：
10.1007/978-3-540-76848-7_6
发表时间：
2007-11
期刊：
--
影响因子：
--
作者：
Kioumars Namiri;N. Stojanović
通讯作者：
Kioumars Namiri;N. Stojanović
用证明分数验证设计
DOI：
--
发表时间：
2008
期刊：
Proc. of 1st VSTTE, LNCS 4171, Springer
影响因子：
--
作者：
K. Futatsugi;J.A. Goguen;K. Ogata
通讯作者：
K. Ogata
迈向有意义的互联网系统 2007：CoopIS、DOA、ODBASE、GADA 和 IS，OTM 联合会国际会议 CoopIS、DOA、ODBASE、GADA 和 IS 2007，葡萄牙维拉摩拉，2007 年 11 月 25-30 日，会议记录，部分
DOI：
--
发表时间：
2007
期刊：
OTM Conferences
影响因子：
--
作者：
R. Meersman;Z. Tari
通讯作者：
Z. Tari
文档逻辑：通过文档真实性对业务流程进行风险分析
DOI：
10.1109/edocw.2009.5332014
发表时间：
2009
期刊：
2009 13th Enterprise Distributed Object Computing Conference Workshops
影响因子：
--
作者：
S. Iida;G. Denker;C. Talcott
通讯作者：
C. Talcott