Model-Based Verification and Validation of Properties

机译：基于模型的属性验证和确认

代理获取

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

页面导航

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

著录项

作者
Engels Gregor; Küster Jochen M.; Heckel Reiko; Lohmann Marc;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology [J] . Rudakov Stanislav, Dickerson Charles E. Progress in Nuclear Energy . 2017,第auga期

机译：使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
2. Early verification and validation using model-based design [J] . BRETT MURPHY, AMORY WAKEFIELD Electrical Design News . 2009,第13期

机译：使用基于模型的设计进行早期验证和确认
3. MODEL-BASED VALIDATION AND VERIFICATION OF ANOMALIES IN LEGISLATION [J] . Vjeran Strahonja Journal of Information and Organizational Sciences . 2006,第2期

机译：立法中基于模型的异常验证和验证
4. Model-Based Verification and Validation of the SMAP Uplink Processes A Methodology for Model-based Development and Automated Verification of Software for Aerospace Systems [C] . M. Omair Khan, Gregory F. Dubos, Joseph Tirona, Aerospace Conference . 2013

机译：SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
5. Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System Using Model-based Development [D] . Lee, Young Sub 2018

机译：使用基于模型的开发来评估开发关键系统中验证活动的好处和局限性
6. Model-based strategy for cell culture seed train layout verified at lab scale [O] . Simon Kern, Oscar Platas-Barradas, Ralf Pörtner, 2016

机译：在实验室规模上验证基于模型的细胞培养种子序列布局策略
7. Model-Based Verification and Validation of Properties [O] . Gregor Engels, Jochen M. Küster, Reiko Heckel, 2003

机译：基于模型的属性验证和验证

Model-Based Verification and Validation of Properties

著录项

引文网络

相似文献

相关主题

期刊订阅