发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[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

[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
  • 作者Kim, Moonzoo; Choi, Yunja; Kim, Yunho; Kim, Hotae
  • 文件大小437.21KB
  • 发表时间2008
  • DOI10.1109/icst.2008.55
  • 页码475-484
← 返回【学霸图书馆】主页