Sciweavers

6650 search results - page 24 / 1330
» models 2009
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
15 years 4 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner