首页> 外文OA文献 >Crowdsourced formal verification: a business case analysis toward a human-centered business model

【2h】

Crowdsourced formal verification: a business case analysis toward a human-centered business model

机译：众包形式验证：针对以人为本的业务模型的业务案例分析

页面导航

摘要
著录项
相似文献
相关主题

摘要

Approved for public release; distribution is unlimited

机译：批准公开发布；发行是无限的

著录项

作者
Baur Andreas;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类
入库时间 2022-08-20 20:56:03

相似文献

外文文献
中文文献
专利

1. Process mining approach to formal business process modelling and verification: a case study [J] . Sohei Ito, Dominik Vymetal, Roman Sperka Journal of modelling in management . 2021,第2期

机译：流程挖掘正式业务流程建模和验证方法：案例研究
2. A formal approach to modeling and verification of business process collaborations [J] . Corradini Flavio, Fornari Fabrizio, Polini Andrea, Science of Computer Programming . 2018,第NOVa15期

机译：建模和验证业务流程协作的正式方法
3. A Survey of Formal Verification for Business Process Modeling [J] . Shoichi Morimoto International journal of operations and quantitative management . 2008,第4期

机译：业务流程建模的形式验证调查
4. A Human-Centered e-Business System Analysis and Modeling Method [C] . Lixin Zhou IEEE International Conference on e-Business Engineering . 2007

机译：以人为本的电子商务系统分析和建模方法
5. Formal techniques for analyzing business process models. [D] . Sivaraman, Eswar. 2003

机译：用于分析业务流程模型的正式技术。
6. A Formal Basis for Business Model Evaluation with Linguistic Summaries [O] . Rick Gilsing, Anna Wilbik, Paul Grefen, -1

机译：语言汇总的业务模型评估的正式基础
7. BProVe: A formal verification framework for business process models [O] . Corradini Flavio, Fornari Fabrizio, Polini Andrea, 2017

机译：BproVe：业务流程模型的正式验证框架
8. Crowdsourced Formal Verification: A Business Case Analysis Toward a Human-Centered Business Model. [R] . Baur, A. 2015

机译：众包形式验证：面向以人为本的商业模式的商业案例分析。

Crowdsourced formal verification: a business case analysis toward a human-centered business model

摘要

著录项

相似文献

相关主题

期刊订阅