Our generation, solving, vizualisation software

Our generation, solving, vizualisation software
复制标题

我们的生成、求解、可视化软件

DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
--
中科院分区:
--
文献类型:
--
作者:

文献摘要

参考文献

被引文献

相似文献

实施基于规则的合同合规性检查器
DOI: 10.1007/978-3-642-04280-5_9
发表时间: 2009
期刊: --
影响因子: --
作者:
M. Strano;C. Molina;S. Shrivastava
通讯作者: S. Shrivastava
基于模型的业务流程合规性检查方法的普遍性和适用性——最先进的分析和研究路线图
DOI: 10.1007/bf03342739
发表时间: 2012
期刊: Business Research
影响因子: --
作者:
J. Becker;Patrick Delfmann;M. Eggert;Sebastian Schwittay
通讯作者: Sebastian Schwittay
DOI: --
发表时间: 2007
期刊: International Conference on Business Process Management
影响因子: --
作者:
S. Sadiq;Guido Governatori;Kioumars Namiri
通讯作者: Kioumars Namiri
DOI: 10.1145/1408681.1408682
发表时间: 2008
期刊: Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001
影响因子: --
作者:
R. Hickey
通讯作者: R. Hickey
代码合约的静态验证
DOI: --
发表时间: 2010
期刊: Sensors Applications Symposium
影响因子: --
作者:
M. Fähndrich
通讯作者: M. Fähndrich