Introduction.- Related Work.- Background.- Execution-based Model Checking for High-Level Designs.- Efficient Symbolic Analysis for...
Jetzt CHF 143.00
Keine Preisänderung
mehr Informationen