首页> 外文OA文献 >Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

【2h】

Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

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

页面导航

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

著录项

作者
Tevfik Bultan; Constance Heitmeyer;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 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. Analyzing tabular requirements specifications using infinite state model checking [C] . Bultan T., Heitmeyer C. ACM/IEEE International Conference on Formal Methods and Models for Co-Design . 2006

机译：使用无限状态模型检查分析表格要求规格
5. Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems [D] . Katis, Andreas. 2020

机译：无限状态反应系统的可实现性检查和合成的正式技术
6. Model Checking Techniques for Assessing Functional Form Specifications in Censored Linear Regression Models [O] . Larry F. León, Tianxi Cai -1

机译：模型检测技术在截尾线性回归模型评估函数形式规格
7. Analyzing Tabular Requirements Specifications Using Infinite State Model Checking [O] . Tevfik Bultan 2008

机译：使用无限状态模型检查分析表格要求规范
8. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [R] . Bultan, T., Heitmeyer, C. 2006

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

Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

著录项

引文网络

相似文献

相关主题

期刊订阅