SBMF   2009 Brazilian Symposium on Formal Methods
Wall of Fame | Most Viewed SBMF-2009 Paper
184views Formal Methods» more  SBMF 2009»
12 years 8 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source184
2Download preprint from source156
3Download preprint from source126
4Download preprint from source105
5Download preprint from source97
6Download preprint from source93
7Download preprint from source91