Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, H
64.96 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10462395
Beschreibung
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.
Eigenschaften
Breite: | 162 |
Gewicht: | 423 g |
Höhe: | 235 |
Länge: | 17 |
Seiten: | 253 |
Sprachen: | Englisch |
Autor: | Ofer Strichman, Rachel Tzoref-Brill |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen