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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification.

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

Editore
Springer
Data di pubblicazione
2017
Lingua
Inglese
ISBN 10 
3319703900
ISBN 13 
9783319703909
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3319703889 ISBN 13:  9783319703886
Casa editrice: Springer, 2017
Brossura