[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, Hotae
- 文件大小437.21KB
- 发表时间2008
- DOI10.1109/icst.2008.55
- 页码475-484
同期刊推荐
CyberSightingsGaggioli, Andrea · Cyberpsychology, Behavior, and Social Networking · 2013
CyberSightingsCyberpsychology, Behavior, and Social Networking · 2012
CyberSightingsCyberpsychology, Behavior, and Social Networking · 2013
CyberEuropeRiva, G.; Gorini, A. · Cyberpsychology, Behavior, and Social Networking · 2010
CyberSightingsCyberpsychology, Behavior, and Social Networking · 2012
CyberEuropeRiva, Giuseppe · Cyberpsychology, Behavior, and Social Networking · 2011
CyberSightingsGaggioli, Andrea · Cyberpsychology, Behavior, and Social Networking · 2011
CyberSightingsGaggioli, Andrea · Cyberpsychology, Behavior, and Social Networking · 2014