首页> 外文OA文献 >Experiments in the use of tau-simulations for the components-verification of real-time systems

【2h】

Experiments in the use of tau-simulations for the components-verification of real-time systems

机译：使用tau仿真进行实时系统组件验证的实验

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Bellegarde Françoise; Julliand Jacques; Mountassir Hassan; Oudot Emilie;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Design and Implementation of a GSI-Based Convection-Allowing Ensemble-Based Data Assimilation and Forecast System for the PECAN Field Experiment. Part II: Overview and Evaluation of a Real-Time System [J] . Johnson Aaron, Wang Xuguang, Degelia Samuel Weather and forecasting . 2017,第3期

机译：基于GSI的对流允许基于GECAN现场实验的基于GSI的对流的数据同化和预测系统的设计与实现。第二部分：实时系统的概述和评估
2. Design and Implementation of Experiments with Real-Time Shared Architecture using Different Mobile Systems [J] . Bahaa Ibraheem Kazem, Mazen Rahman Ali International journal of online engineering . 2015,第2期

机译：使用不同移动系统的实时共享体系结构实验的设计和实现
3. Design and Implementation of Experiments with Real-Time Shared Architecture using Different Mobile Systems [J] . Bahaa Ibraheem Kazem, Mazen Rahman Ali International Association of Online Engineering . 2015,第2期

机译：使用不同移动系统的实时共享体系结构实验的设计和实现
4. Experiments in the use of τ-simulations for the components-verification of real-time systems [C] . Francoise Bellegarde, Jacques Julliand, Hassan Mountassir, Conference on Specification and verification of component-based systems . 2006

机译：使用τ仿真进行实时系统组件验证的实验
5. Mutual algorithm-architecture analysis for real-time parallel systems in particle physics experiments. [D] . Ni, Ping. 1994

机译：粒子物理实验中实时并行系统的相互算法-架构分析。
6. An Extended Binaural Real-Time Auralization System With an Interface to Research Hearing Aids for Experiments on Subjects With Hearing Loss [O] . Florian Pausch, Lukas Aspöck, Michael Vorländer, 2018

机译：扩展的双耳实时听觉化系统该系统具有用于研究听力损失受试者的助听器的接口
7. Experiments in the use of τ-simulations for the components-verification of real-time systems [O] . Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, 2006

机译：使用τ模拟进行实验系统的组件验证的实验

Experiments in the use of tau-simulations for the components-verification of real-time systems

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅