University of Limerick Institutional Repository

Browsing by Subject "failures-divergence refinement"

DSpace Repository

Browsing by Subject "failures-divergence refinement"

Sort by: Order: Results:

  • Beg, Arshad; Butterfield, Andrew (2010)
    We present our experience of working with the Failures-Divergence Refinement (FDR) toolkit while extending our modelling of the behaviour of Flash Memory. This effort is a step towards the low-level modelling of data-storage ...

Search DSpace

Browse

My Account

Statistics