Sciweavers

1219 search results - page 11 / 244
» Verification of Equivalent-Results Methods
Sort
View
ICWE
2007
Springer
15 years 10 months ago
A Survey of Analysis Models and Methods in Website Verification and Testing
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
DATE
2006
IEEE
118views Hardware» more  DATE 2006»
15 years 10 months ago
New methods and coverage metrics for functional verification
Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar...
ASPDAC
2006
ACM
112views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Refinement strategies for verification methods based on datapath abstraction
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakal...
DSVIS
2005
Springer
15 years 10 months ago
A Method for the Verification of Haptic Algorithms
Joan De Boeck, Chris Raymaekers, Karin Coninx