Pre-testing flash device driver through model checking techniques

Moonzoo Kim, Yunho Kim, Yunja Choi, Hotae Kim

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Pre-testing flash device driver through model checking techniques'. Together they form a unique fingerprint.

Computer Science