University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Author "Woodcock, Jim"

DSpace/Manakin Repository

Browsing Faculty of Science and Engineering by Author "Woodcock, Jim"

Sort by: Order: Results:

  • Butterfield, Andrew; Freitas, Leo; Woodcock, Jim (Elsevier, 2007)
    We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...

Search DSpace


Advanced Search

Browse

My Account