首页> 外文OA文献 >The Interactive Mechanism of Static and Dynamic Analysis in the Reverse Analysis of Embedded Software

【2h】

The Interactive Mechanism of Static and Dynamic Analysis in the Reverse Analysis of Embedded Software

机译：嵌入式软件反向分析中静态和动态分析的互动机制

代理获取

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

页面导航

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

著录项

作者
Liu Tie-ming; Jinag Lie-hui; Zhu Jing-si;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities [J] . Antoine Miné Electronic Notes in Theoretical Computer Science . 2017,第2期

机译：具有动态优先级的嵌入式实时并发软件的静态分析
2. 7 Ways to Make Embedded Software Safe and Secure with Static Analysis and Formal Methods [J] . Elektor electronics worldwide . 2018,第4appa期

机译：通过静态分析和形式化方法确保嵌入式软件安全的7种方法
3. Renormalization group analysis of the interacting resonant-level model at finite bias: Generic analytic study of static properties and quench dynamics [J] . S. Andergassen, M. Pletyukhov, D. Schuricht, Physical review . 2011,第20期

机译：相互作用下共振水平模型在有限偏差下的重归一化组分析：静态特性和淬灭动力学的一般分析研究
4. Research on the Interactive Mechanism in Embedded Software Static and Dynamic Reverse Analysis [C] . LIU Tie-ming, JIANG Lie-hui, ZHU Jing-si, International Conference on Systems Engineering and Computational Advances . 2015

机译：嵌入式软件静态和动态反向分析中的交互式机制研究
5. Analysis of static and dynamic memory management schemes in embedded systems utilizing software-managed memory [D] . Akcaman, Muberra N. 2015

机译：利用软件管理内存的嵌入式系统静态和动态内存管理方案分析
6. Transcriptome dynamics and metabolite analysis revealed the candidate genes and regulatory mechanism of ganoderic acid biosynthesis during liquid superficial‐static culture of [O] . Qiong Wang, Mengmeng Xu, Liting Zhao, 2021

机译：转录组动力学和代谢物分析揭示了液体表面静态培养过程中灵芝酸生物合成的候选基因和调节机制
7. Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities [O] . Miné, Antoine 2016

机译：具有动态优先级的嵌入式实时并发软件的静态分析
8. Dynamic Analysis of Adaptive Structures with Embedded Compliant Mechanisms [R] . Kota, S. 2002

机译：具有嵌入式柔顺机构的自适应结构动力学分析

The Interactive Mechanism of Static and Dynamic Analysis in the Reverse Analysis of Embedded Software

著录项

引文网络

相似文献

相关主题

期刊订阅