首页> 外文OA文献 >From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications

【2h】

From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications

机译：从状态图对多主体系统的规范到通过模型检查进行形式化分析：迈向安全关键型应用

页面导航

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

著录项

作者
Frieder Stolzenburg; Toshiaki Arai;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design automation for embedded systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
2. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design Automation for Embedded Systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
3. An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification [J] . Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Reliability Engineering & System Safety . 2005,第3期

机译：基于软件检查，需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
4. From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications [C] . Frieder Stolzenburg, Toshiaki Aral German Conference on Multiagent System Technologies . 2003

机译：通过模型检查通过StateCharts的Multi8gent Systems的规范：对安全关键应用程序
5. Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework. [D] . Abbate, Andrew J. 2017

机译：安全关键系统的基于模型的可用性分析：正式方法框架。
6. Ensuring reliability of safety-critical clinical applications of computational cardiac models [O] . Pras Pathmanathan, Richard A. Gray 2013

机译：确保计算心脏模型的安全性至关重要的临床应用的可靠性
7. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [O] . Tevfik Bultan, Constance Heitmeyer 2010

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
8. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [R] . Bultan, T., Heitmeyer, C. 2006

机译：将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范

From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications

著录项

引文网络

相似文献

相关主题

期刊订阅