Sciweavers

1219 search results - page 11 / 244
» Verification of Equivalent-Results Methods
Sort
View
ICWE
2007
Springer
14 years 1 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»
14 years 1 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»
14 years 1 months ago
Refinement strategies for verification methods based on datapath abstraction
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakal...
DSVIS
2005
Springer
14 years 1 months ago
A Method for the Verification of Haptic Algorithms
Joan De Boeck, Chris Raymaekers, Karin Coninx