Sciweavers

10891 search results - page 129 / 2179
» Combining Model Reductions
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
15 years 9 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner