Hardware and Software: Verification and Testing

Kerstin Eder

ISBN 10: 364234187X / ISBN 13: 9783642341878

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2012, 2012

Riguardo questo articolo

Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Codice articolo 9783642341878

Dati bibliografici

• Titolo: Hardware and Software: Verification and Testing
• Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2012
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 364234187X
• ISBN 13: 9783642341878
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 16 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 16 millimetri di profondità
• Peso: 423 grammi

Descrizione articolo

Riassunto

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.