[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Pre-testing Flash Device Driver through Model Checking Techniques
Kim, Moonzoo, Choi, Yunja, Kim, Yunho, Kim, HotaeYear:
2008
Language:
english
DOI:
10.1109/icst.2008.55
File:
PDF, 437 KB
english, 2008