Meta-models Combination for Reusing Verification Techniques

机译：元模型组合重用验证技术

代理获取

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

页面导航

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

著录项

作者
Hui Zhao; Ludovic Apvrille; Frédéric Mallet;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Combination of coagulation-flocculation and nanofiltration techniques for dye removal and water reuse in textile effluents [J] . M. Riera-Torres, C. Gutierrez-Bouzan, M. Crespi Desalination: The International Journal on the Science and Technology of Desalting and Water Purification . 2010,第1a3期

机译：混凝-絮凝与纳滤技术的结合，用于纺织品废水中的染料去除和水的再利用
2. Coupling Perceptron Convergence Procedure with Modified Back-Propagation Techniques to Verify Combinational Circuits Design [J] . Raad F. Alwan, Sami I. Eddi, Baydaa Al-Hamadani International Journal of Information Technology and Computer Science . 2015,第6期

机译：耦合感知器收敛程序与改进的反向传播技术，以验证组合电路设计
3. Verifying an ATM protocol using a combination of formal techniques [J] . Rusu V The Computer journal . 2006,第6期

机译：结合形式技术验证ATM协议
4. Meta-models Combination for Reusing Verification Techniques [C] . Hui Zhao, Ludovic Apvrille, Frederic Mallet International Conference on Model-Driven Engineering and Software Development . 2019

机译：元模型组合重用验证技术
5. Efficient techniques for verifying combinational circuits. [D] . Mukherjee, Rajarshi. 1997

机译：验证组合电路的有效技术。
6. An Interoperability Platform Enabling Reuse of Electronic Health Records for Signal Verification Studies [O] . Mustafa Yuksel, Suat Gonul, Gokce Banu Laleci Erturkmen, 2006

机译：一个互操作性平台，可重复使用电子病历进行信号验证研究
7. Coupling Perceptron Convergence Procedure with Modified Back-Propagation Techniques to Verify Combinational Circuits Design [O] . Raad F. Alwan, Sami I. Eddi, Baydaa Al-Hamadani 2015

机译：耦合感知器收敛程序与改进的反向传播技术验证组合电路设计
8. A Method of Integrating Aeroheating into Conceptual Reusable Launch Vehicle Design: Evaluation of Advanced Thermal Protection Techniques for Future Reusable Launch Vehicles [R] . Olds, John R., Cowart, Kris 2001

机译：将航空加热与概念性可重复使用运载火箭设计相结合的方法：评估未来可重复使用运载火箭的先进热保护技术

Meta-models Combination for Reusing Verification Techniques

著录项

引文网络

相似文献

相关主题

期刊订阅