文献检索/Reliability Engineering & System SafetyEM-T1Reliability Engineering & System Safety2015-07-15第 145 卷,351-365Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approachLuke Thomas HerbertTechnical University of DenmarkZaza Nadja Lee HansenTechnical University of Denmark去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱,注册免费。登录 / 注册关键词stochastic model checkingBPMNfault modelingevolutionary algorithmsstate space explorationresource optimization参考文献28引证文献2相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱:谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册