University of Limerick Institutional Repository

Browsing by Author "Ó Catháin, Art"

DSpace Repository

Browsing by Author "Ó Catháin, Art"

Sort by: Order: Results:

  • Butterfield, Andrew; Ó Catháin, Art (Springer, 2009)
    We present a CSP model of the internal behaviour of Flash Memory, based on its speci cation by the Open Nand-Flash Interface (ONFi) consortium. This contributes directly to the low-level modelling of the data-storage ...

Search DSpace

Browse

My Account

Statistics