首页> 外文OA文献 >Efficiency of formal verification of ArchiMate business processes with NuSMV model checker

【2h】

Efficiency of formal verification of ArchiMate business processes with NuSMV model checker

机译：使用NUSMV模型检查器的重建业务流程正式验证效率

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Piotr Szwed;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Verification of an Executable LTL Model Checker with Partial Order Reduction [J] . Brunner Julian, Lammich Peter Journal of Automated Reasoning . 2018,第1期

机译：带有部分订单减少的可执行LTL模型检查器的形式验证
2. Formal verification of statecharts using finite-state model checkers [J] . Qianchuan Zhao, Krogh B.H. IEEE Transactions on Control Systems Technology . 2006,第5期

机译：使用有限状态模型检查器对状态图进行形式验证
3. Formal Verification of Effectiveness of Control Activities in Business Processes [J] . Yasuhito ARIMOTO, Shusaku IIDA, Kokichi FUTATSUGI IEICE transactions on information and systems . 2012,第5期

机译：正式验证业务流程中控制活动的有效性
4. Efficiency of formal verification of ArchiMate business processes with NuSMV model checker [C] . Szwed Piotr Federated Conference on Computer Science and Information Systems . 2015

机译：使用NuSMV模型检查器对ArchiMate业务流程进行形式验证的效率
5. Formal verification of speed control strategies with SPIN model checker [D] . Baishya, Silpi S. 2004

机译：使用SPIN模型检查器对速度控制策略进行形式验证
6. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009

机译：一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
7. Formal Verification of Railway Timetables - Using the UPPAAL Model Checker [O] . Anne E. Haxthausen, Kristian Hede 2019

机译：铁路时刻表的正式验证 - 使用UPPAAL模型检查器
8. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL [R] . Havelund, Klaus, Larsen, Kim Guldstrand, Skou, Arne 1999

机译：使用实时模型检查器UppaaL对电源控制器进行形式验证

Efficiency of formal verification of ArchiMate business processes with NuSMV model checker

著录项

引文网络

相似文献

相关主题

期刊订阅