Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

書目詳細資料
其他作者:	Biere
格式:	電子電子書
語言:	English
出版:	Springer Berlin Heidelberg, 2013
版:	1
主題:	Electronic books
在線閱讀:	Full text available on Springer Off-campus access

相似書籍

Hardware and Software: Verification and Testing
出版: (2013)

Software Testing, Verification and Reliability

Software Testing, Verification, and Validation, ICST, International Conference on

2010 Third International Conference on Software Testing, Verification and Validation

2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

Visualization in Testing of Hardware, Software, and Manufacturing (TestVis), International Workshop on

Implementation of hardware and software of solar panel testing parameters
由: Saha, Joymit, et al.
出版: (2013)

Proceedings of the symposium on Testing, analysis, and verification

2010 Third International Conference on Software Testing, Verification, and Validation Workshops

Software Testing Verification and Validation Workshop, ICSTW, IEEE International Conference on

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)

2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation

Microprocessor Test and Verification (MTV), International Workshop on

2022 First International Workshop on Visualization in Testing of Hardware, Software, and Manufacturing (TestVis)

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops

Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis

Open Source Software: Quality Verification
出版: (2013)

2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)

2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Technologies for Synthetic Environments: Hardware-in-the-Loop Testing

Runtime Verification
出版: (2013)

Runtime Verification
出版: (2013)