Proceedings of the symposium on Testing, analysis, and verification

Proceedings of the symposium on Testing, analysis, and verification

Detaylı Bibliyografya
Materyal Türü:	Elektronik Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Association for Computing Machinery (ACM), 10/1/91
Konular:	Conference papers and proceedings.
Online Erişim:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Benzer Materyaller

Hardware and Software: Verification and Testing
Baskı/Yayın Bilgisi: (2013)

Hardware and Software: Verification and Testing
Baskı/Yayın Bilgisi: (2013)

Software Testing, Verification and Reliability

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

Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications

Microprocessor Test and Verification (MTV), International Workshop on

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

Automated Technology for Verification and Analysis
Baskı/Yayın Bilgisi: (2013)

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

Runtime Verification
Baskı/Yayın Bilgisi: (2013)

Runtime Verification
Baskı/Yayın Bilgisi: (2013)

ASME 2018 Verification and Validation Symposium

ASME 2021 Verification and Validation Symposium

ASME 2019 Verification and Validation Symposium

2010 Third International Conference on Software Testing, Verification and Validation

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

2010 11th International Workshop on Microprocessor Test and Verification

2011 12th International Workshop on Microprocessor Test and Verification

2014 15th International Microprocessor Test and Verification Workshop

2013 14th International Workshop on Microprocessor Test and Verification

Embedded Systems: Design, Analysis and Verification
Baskı/Yayın Bilgisi: (2013)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2013)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2022)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2022)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2018)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2018)

Design Verification with e
Yazar:: Samir Palnitkar

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

2012 13th International Workshop on Microprocessor Test and Verification (MTV)

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)