首页> 外文OA文献 >OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing

【2h】

OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing

机译：OPEN / CAESAR：一种用于验证，仿真和测试的开放软件架构

代理获取

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

页面导航

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

著录项

作者
Garavel, Hubert;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Polychronous modeling, analysis, verification and simulation for timed software architectures [J] . Huafeng Yu, Yue Ma, Thierry Gautier, Journal of systems architecture . 2013,第10aPta4期

机译：定时软件架构的多同步建模，分析，验证和仿真
2. Circuit Architecture Test Verification Based on Hardware Software Co-design with ModelSim [J] . Sunil R. Das, Jun-Feng Li, Amiya R. Nayak, IETE Journal of Research . 2013,第2期

机译：基于硬件软件与ModelSim协同设计的电路架构测试验证
3. ADTEM-Architecture Design Testability Evaluation Model to Assess Software Architecture Based on Testability Metrics [J] . Amjad Hudaib, Fawaz Fawaz Al-Zaghoul, Maha Saadeh, Journal of Software Engineering and Applications . 2015,第4期

机译：基于可测性度量的ADTEM体系结构设计可测性评估模型，用于评估软件体系结构
4. OPEN/CAESAR: An Open Software Architecture for Verification, simulation, and Testing [C] . Hubert Garavel International conference on tools and algorithms for the construction and analysis of systems . 1998

机译：打开/凯撒：用于验证，模拟和测试的开放软件架构
5. Formal verification and testing of software architectural models. [D] . Argote Garcia, Gonzalo. 2009

机译：正式验证和测试软件体系结构模型。
6. Verification of cardiac mechanics software: benchmark problems and solutions for testing active and passive material behaviour [O] . Sander Land, Viatcheslav Gurev, Sander Arens, -1

机译：验证心脏力学软件：基准问题和测试主动和被动材料行为的解决方案
7. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing [O] . Garavel, Hubert 1998

机译：OpEN / CaEsaR：用于验证，模拟和测试的开放式软件架构
8. Guideline for Lifecycle Validation, Verification, and Testing of Computer Software. Category: Software. Subcategory: Validation, Verification, and Testing [R] . Wallace, D. R. 1983

机译：计算机软件生命周期验证，验证和测试指南。类别：软件。子类别：验证，验证和测试

OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing

著录项

引文网络

相似文献

相关主题

期刊订阅