搜索页_+Test+verification

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

中国地质文献-英文(42)	SpringerLink电子期刊(2974)	GSW全文库(38)
Wiley电子期刊(56)	ProQuest学位论文(192)	Elsevier电子期刊(4041)
Springer电子图书(27)	NATURE电子期刊(27)	ACS电子期刊(80)

在“SpringerLink电子期刊”中，命中：2,974条，耗时：0.0519477 秒

在所有数据库中总计命中：7,477条

1. Subjective speech quality measurement repeatability: comparison of laboratory test results

作者： Jan Holub ; Hakob Avetisyan ; Scott Isabelle

关键词：Mean opinion score ; Speech quality ; Subjective testing ; Test repeatability ; Test reproducibility

刊名：International Journal of Speech Technology

出版年：2017

2. Constraint-based test generation for automotive operating systems

作者： Yunja Choi ; Taejoon Byun

关键词：Verification ; Constraint specification ; Operating system ; Automotive software ; Test generation

刊名：Software & Systems Modeling

出版年：2017

3. A framework for the verification of an ECG biosensor algorithm

作者： Hussam Al-Hamadi ; Amjad Gawanmeh…

关键词：Formal verification framework ; EventB ; Bio ; sensor ; ECG ; Pan Tompkins algorithm

刊名：Analog Integrated Circuits and Signal Processing

出版年：2017

4. SVM Based Online Signature Verification Technique Using Reference Feature Vector

作者： Sudhir Rohilla ; Anuj Sharma

关键词：Online signature verification ; Reference feature vector ; Support vector machine ; Symbolic representation ; Random interval

刊名：Proceedings of the National Academy of Sciences, India Section A: Physical Sciences

出版年：2017

5. Automated Verification of Switched Systems Using Hybrid Identification

关键词：Test automation ; Hybrid identification ; Switched systems

刊名：Lecture Notes in Computer Science

出版年：2017

6. Kernel P Systems Modelling, Testing and Verification - Sorting Case Study

刊名：Lecture Notes in Computer Science

出版年：2017

7. Effective software fault localization using predicted execution results

作者： Ruizhi Gao ; W. Eric Wong ; Zhenyu Chen ; Yabin Wang

关键词：Program debugging ; Software fault localization ; Output verification ; Statement suspiciousness ; EXAM score

刊名：Software Quality Journal

出版年：2017

8. Development of a 3D road profile measuring system for unpaved road severity analysis

作者： Jeong-Hwan Lee ; Sang-Ho Lee ; Do-Kyung Kang…

关键词：Profile ; Severity ; 3D profilometer ; Endurance test ; Reliability

刊名：International Journal of Precision Engineering and Manufacturing

出版年：2017

9. Combining techniques of bounded model checking and constraint programming to aid for error localization

作者： Mohammed Bekkouche

关键词：Program verification ; Testing ; Debugging ; Error localization ; Constraint Programming ; LocFaults ; BugAssist ; Minimal correction subset ; Minimal correction deviation

刊名：Constraints

出版年：2017

10. Travel time source-specific station corrections related to lithospheric structures in the Mediterranean region

作者： A. Giuntini ; V. Materni ; R. Console ; S. Chiappini ; M. Chiappini

关键词：Travel time correction ; Teleseismic location ; L’Aquila earthquake ; Seismic monitoring Test ; Ban Treaty verification

刊名：Journal of Seismology

出版年：2017

按检索点细分(2974)

题名(144)

关键词(162)

文摘(2433)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700