首页> 外文OA文献 >Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

【2h】

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

机译：组件动态重新配置的时间模式的运行时验证

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Dormoy Julien; Kouchnarenko Olga; Lanoix Arnaud;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Seamless Dynamic Runtime Reconfiguration in a Software-Defined Radio [J] . Michael Dickens, J. Nicholas Laneman, Brian P. Dunn Journal of signal processing systems for signal, image, and video technology . 2012,第1期

机译：软件无线电中的无缝动态运行时重新配置
2. Increasing Flexibility and Availability of Manufacturing Systems - Dynamic Reconfiguration of Automation Software at Runtime on Sensor Faults [J] . A. Wannagat B. Vogel-Heuser Journal of Automation, Mobile Robotics & Intelligent Systems . 2009,第3期

机译：增加制造系统的灵活性和可用性-在运行时因传感器故障而动态重新配置自动化软件
3. Runtime verification using the temporal description logic ALC-LTL revisited [J] . Franz Baader, Marcel Lippmann Journal of Applied Logic . 2014,第4期

机译：重新使用时间描述逻辑ALC-LTL进行运行时验证
4. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components [C] . Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix International Workshop on Formal Aspects of Component Software . 2012

机译：运行时验证组件动态重新配置的时间模式
5. Adaptive runtime management of spatial and temporal heterogeneity of dynamic SAMR applications. [D] . Li, Xiaolin. 2005

机译：动态SAMR应用程序的空间和时间异构性的自适应运行时管理。
6. Coarse-grained description of the spatio-temporal dynamics of network activity from experimentally verified single-neuron models and connectivity [O] . Francesco Fermani, Magnus JE Richardson 2015

机译：通过实验验证的单神经元模型和连通性对网络活动的时空动态进行粗粒度描述
7. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components [O] . Dormoy Julien, Kouchnarenko Olga, Lanoix Arnaud 2011

机译：组件动态重构的时态模式运行时验证
8. Ecological Analysis of Spatial a Temporal Patterns of Pelangic Ecosystem Components Potentially Interacting with an OTEC (Ocean Thermal Energy Conversion) Plant Near Punta Tuna, Puerto Rico - Zooplankton Characteristics [R] . Lopez, J. M. , Tilly, L. J. 1983

机译：与波多黎各punta Tuna附近的OTEC（海洋热能转换）工厂潜在相互作用的pelangic生态系统组成的时空模式的生态分析 - 浮游动物特征

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅