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
基于模型的业务流程合规性检查方法的普遍性和适用性——最先进的分析和研究路线图
影响因子：
--
作者：
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
Clojure 编程语言
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