首页> 外文OA文献 >Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

【2h】

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

机译：基于模型的工具链基础设施，用于嵌入式系统的自动分析

页面导航

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

著录项

作者
Hang Su; Graham Hemingway; Kai Chen; T. John Koo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Design Ontology in a Case Study for Cosimulation in a Model-Based Systems Engineering Tool-Chain [J] . Lu Jinzhi, Wang Guoxin, Torngren Martin IEEE systems journal . 2020,第1期

机译：基于模型的系统工程工具链中的案例研究中的设计本体研究
2. Automated Model-Based Optimization of Data-Adaptable Embedded Systems [J] . Lizarraga Adrian, Sprinkle Jonathan, Lysecky Roman ACM Transactions on Embedded Computing Systems . 2020,第1期

机译：基于自动模型的数据适应性嵌入式系统优化
3. Automated screening of 2D crystallization trials using transmission electron microscopy: A high-throughput tool-chain for sample preparation and microscopic analysis [J] . Coudray Nicolas, Hermann Gilles, Caujolle-Bert Daniel, Journal of Structural Biology . 2011,第2期

机译：使用透射电子显微镜自动筛选2D结晶试验：用于样品制备和显微分析的高通量工具链
4. Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems [C] . Hang Su, Graham Hemingway, Kai Chen, Automated Technology for Verification and Analysis; Lecture Notes in Computer Science; 4218 . 2006

机译：用于嵌入式系统自动化分析的基于模型的工具链基础结构
5. Model-based analysis of event-driven distributed real-time embedded systems [D] . Madl, Gabor 2009

机译：基于模型的事件驱动的分布式实时嵌入式系统分析
6. SaDA: From Sampling to Data Analysis—An Extensible Open Source Infrastructure for Rapid Robust and Automated Management and Analysis of Modern Ecological High-Throughput Microarray Data [O] . Kumar Saurabh Singh, Dominique Thual, Roberto Spurio, 2015

机译：SaDA：从采样到数据分析-一种可扩展的开源基础结构用于快速强大和自动化的管理和现代生态高通量微阵列数据分析
7. Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection [O] . Jinzhi Lu, Dejiu Chen, Guoxin Wang, 2021

机译：基于模型的系统工程工具链，用于自动参数值选择

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

著录项

引文网络

相似文献

相关主题

期刊订阅