首页> 外文OA文献 >Observability Analysis of Embedded Software for Coverage-Directed Validation

【2h】

Observability Analysis of Embedded Software for Coverage-Directed Validation

机译：覆盖定向验证的嵌入式软件可观测性分析

页面导航

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

著录项

作者
José C. Costa; Srinivas Devadas; José C. Monteiro;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Coverage-Directed Observability-Based Validation for Embedded Software [J] . JOSE C. COSTA, JOSE C. MONTEIRO ACM Transactions on Design Automation of Electronic Systems . 2013,第2期

机译：嵌入式软件基于可观察性的验证
2. An architectural approach to the analysis, verification and validation of software intensive embedded systems [J] . DeJiu Chen, Lei Feng, Tahir Naseer Qureshi, Computing . 2013,第8期

机译：一种分析，验证和确认软件密集型嵌入式系统的体系结构方法
3. An architectural approach to the analysis, verification and validation of software intensive embedded systems [J] . DeJiu Chen, Lei Feng, Tahir Naseer Qureshi, Computing . 2013,第8期

机译：一种分析，验证和确认软件密集型嵌入式系统的体系结构方法
4. Observability analysis of embedded software for coverage-directed validation [C] . Costa, J.C., Devadas, . 2000

机译：用于覆盖范围验证的嵌入式软件的可观察性分析
5. Dynamic Analysis of Multithreaded Embedded Software to Expose Atomicity Violations. [D] . Patel, Jay. 2016

机译：多线程嵌入式软件的动态分析，以显示违反原子性的行为。
6. Evaluation of automated microvascular flow analysis software AVA 4: a validation study [O] . Christian S. Guay, Mariam Khebir, T. Shiva Shahiri, 2021

机译：自动微血管流量分析软件评估AVA 4：验证研究
7. Rapid Fire Abstract: Multimodality imaging valvular heart disease742Quantification of aortic regurgitation by pulsed Doppler examination of the left subclavian artery velocity contour: a validation study with cardiac magnetic resonance imaging743Diastolic retrograde flow in the descending aorta by cardiovascular magnetic resonance imaging for the quantification of aortic regurgitation744Native T1 relaxation time can accurately identify limited left ventricular contractile reserve in patients with aortic stenosis745The validation and assessment of myocardial fibrosis by using cardiac magnetic resonance and speckle-tracking echocardiography in severe aortic stenosis746Clinical validation of a semi-automatic quantification score of aortic valve calcification with ultrasound747A comparison among conventional 3D-transesophageal echocardiography manual analysis, 3D automatic software analysis and computed tomography for the aortic annulus sizing in TAVI patients748New insights from a multimodality imaging evaluation of LV remodeling in patients with chronic ischemic mitral regurgitation: a combined magnetic resonance and speckle tracking analysis749Multimodality imaging monitoring during percutaneous tricuspid valve repair procedures [O] . RA. Spampinato, A. Kammerlander, T. Ondrus, 2016

机译：快速火灾摘要：脉冲多普勒检测左锁骨期动脉轮廓脉冲多普勒检查的多模成像瓣膜病程742，用心血管磁共振成像与心血管磁共振成像中的心脏磁共振成像对心血管磁共振成像的验证研究。主动脉磁性共振成像7444放松时间可以在主动脉狭窄患者中准确识别有限的左心室收缩储备，通过使用心脏磁共振和散斑狭窄的斑点狭窄746临床验证，对主动脉瓣钙化与超声阀钙化的验证和散斑跟踪超声心动术进行验证和评估心肌纤维化的验证和评估。在常规的3D-经乳管超声心动图中，3D自动软件分析和计算断层扫描的主动脉环抑制在Tavi患者中的尺寸748新的洞察力组合的磁共振和斑点追踪analysis749Multimodality成像期间经皮三尖瓣修复过程监测：在患者重塑慢性缺血性二尖瓣反流的LV dality成像评价

Observability Analysis of Embedded Software for Coverage-Directed Validation

著录项

引文网络

相似文献

相关主题

期刊订阅