Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings: 10629 - Brossura

 
9783319703886: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings: 10629
Brossura
ISBN 10: 3319703889 ISBN 13: 9783319703886
Casa editrice: Springer, 2017

Sinossi

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.
The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2017
Lingua
Inglese
ISBN 10 
3319703889
ISBN 13 
9783319703886
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
276
Redattore
Strichman Ofer, Tzoref-Brill Rachel
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783319703909: Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Edizione in evidenza

ISBN 10:  3319703900 ISBN 13:  9783319703909
Casa editrice: Springer, 2017
Brossura