首页> 外文OA文献 >Verification of dynamically reconfigurable embedded systems by model transformation rules

【2h】

Verification of dynamically reconfigurable embedded systems by model transformation rules

机译：通过模型转换规则验证动态可重构嵌入式系统

页面导航

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

著录项

作者
Felix Madlener; Julia Weingart; Sorin A. Huss; Technische Universität Darmstadt;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. NCES-based modelling and CTL-based verification of reconfigurable embedded control systems [J] . Mohamed Khalgui Computers in Industry . 2010,第3期

机译：基于NCES的建模和基于CTL的可重构嵌入式控制系统验证
2. Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification [J] . Bj?rn Bartels, Sabine Glesner, Thomas G?thel Electronic Communications of the EASST . 2010,第3期

机译：减轻嵌入式系统验证中语义差距的模型转换
3. Verifying distributed real-time properties of embedded systems via graph transformations and model checking [J] . Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt Real-time systems . 2006,第1a2a3期

机译：通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
4. Verification of dynamically reconfigurable embedded systems by model transformation rules [C] . Madlener Felix, Weingart Julia, Huss Sorin A. 2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis . 2010

机译：通过模型转换规则验证动态可重新配置的嵌入式系统
5. Dynamically reconfigurable processing engine for polymorphic embedded systems [D] . Martinez Vallina, Fernando J. 2007

机译：用于多态嵌入式系统的动态可重配置处理引擎
6. Rule-based modeling: a computational approach for studying biomolecular site dynamics in cell signaling systems [O] . Lily A. Chylek, Leonard A. Harris, Chang-Shung Tung, -1

机译：基于规则的建模：一种研究细胞信号系统中生物分子位点动力学的计算方法
7. Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking [O] . Gabor Madl, Sherif Abdelwahed Douglas C. Schmidt 2005

机译：通过图形转换和模型检验验证嵌入式系统的分布式实时特性

Verification of dynamically reconfigurable embedded systems by model transformation rules

著录项

引文网络

相似文献

相关主题

期刊订阅