首页> 外文OA文献 >4.1 Industrial Experience with Test Generation Languages for Processor Verification

【2h】

4.1 Industrial Experience with Test Generation Languages for Processor Verification

机译：4.1处理器验证的测试生成语言的工业经验

页面导航

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

著录项

作者
Michael Behm; John Ludden; Yossi Lichtenstein; Michal Rimon; Michael Vinov;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Testing or Formal Verification: DO-178C Alternatives and Industrial Experience [J] . Moy Yannick, Ledinot Emmanuel, Delseny Hervé, Software, IEEE . 2013,第3期

机译：测试或正式验证：DO-178C替代产品和行业经验
2. SysTest: Improving the Verification, Validation, and Testing Process—Assessing Six Industrial Pilot Projects [J] . Markus Hoppe, Avner Engel, Shalom Shachar Systems Engineering . 2007,第4期

机译：SysTest：改进验证，确认和测试过程—评估六个工业试点项目
3. Development and testing of geo-processing models for the automatic generation of remediation plan and navigation data to use in industrial disaster remediation [J] . G. Lucas, Cs. Lénárt, J. Solymosi Open Geospatial Data, Software and Standards . 2016,第1期

机译：开发和测试用于自动生成修复计划和导航数据的地理处理模型，以用于工业灾难修复
4. Industrial experience with test generation languages for processor verification [C] . Michael Behm, John Ludden, Yossi Lichtenstein, Annual conference on Design automation;Conference on Design automation . 2004

机译：具有用于处理器验证的测试生成语言的行业经验
5. A comparative study of three tests that measure receptive language processing ability in subjects ages eleven to twelve years, five months: The token test for children (Disimoni, 1978) the Fullerton language test for adolescents, oral commands subtest (Thorum, 1980) the clinical evaluation of language function, processing linguistic concepts and processing oral directions subtests (Semel & Wiig, 1980). [D] . Butchers, Helen. 1982

机译：对三种测量年龄在11至12岁，五个月的受试者中的接受语言处理能力的测试的比较研究：儿童的令牌测试（Disimoni，1978）青少年的Fullerton语言测试，口头命令子测试（Thorum，1980）临床语言功能评估，处理语言概念和处理口头指示子测验（Semel＆Wiig，1980）。
6. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification [O] . Pablo Meyer, Julia Hoeng, J. Jeremy Rice, -1

机译：研究过程验证的工业方法论（IMPROVER）：系统生物学验证
7. Development and testing of geo-processing models for the automatic generation of remediation plan and navigation data to use in industrial disaster remediation [O] . 2016

机译：开发和测试用于自动生成修复计划和导航数据以用于工业灾难修复的地理处理模型
8. Scaleup tests and supporting research for the development of duct injection technology: Topical report No. 7, Task 4.1: Testing of first generation mathematical model predictions; Topical report No. 8, Task 4.2: Testing of second generation mathematical model predictions, Duct Injection Test Facility, Muskingum River Power Plant, Beverly, OH [R] . Felix, L. G., Gooch, J. P., Klett, M. G., 1992

机译：管道注入技术发展的放大测试和支持性研究：第7号专题报告，任务4.1：第一代数学模型预测的测试;专题报告第8号，任务4.2：测试第二代数学模型预测，管道注入测试设施，马斯金根河电厂，贝弗利，俄亥俄州

4.1 Industrial Experience with Test Generation Languages for Processor Verification

著录项

引文网络

相似文献

相关主题

期刊订阅