20 search results - page 1 / 4 » iceccs 2007 |
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper explains
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
127
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...