Trefferliste "Runtimeverification" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "runtimeverification" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Christoph Hazott, Daniel Große
Breaking Barriers in HW-to-SW Stack Verification

This book aims to overcome the barriers in HW-to-SW stack verification, specifically those posed by the test oracle problem and isolated analysis. The authors provide tools and strategies that make it fea…

lieferbar ab 21.7.2026.
Buch
Aktueller Preis: EUR 147,75
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.