Formal Specification of an Erase Block Management Layer for Flash Memory (English)
- New search for: Pfahler, J.
- New search for: Ernst, G.
- New search for: Schellhorn, G.
- New search for: Haneberg, D.
- New search for: Reif, W.
- New search for: Pfahler, J.
- New search for: Ernst, G.
- New search for: Schellhorn, G.
- New search for: Haneberg, D.
- New search for: Reif, W.
- New search for: Bertacco, V.
- New search for: Legay, A.
In:
Hardware and Software: Verification and Testing
8244
;
214-229
;
2013
-
ISSN:
- Article (Journal) / Print
-
Title:Formal Specification of an Erase Block Management Layer for Flash Memory
-
Contributors:Pfahler, J. ( author ) / Ernst, G. ( author ) / Schellhorn, G. ( author ) / Haneberg, D. ( author ) / Reif, W. ( author ) / Bertacco, V. / Legay, A.
-
Published in:Hardware and Software: Verification and Testing , 8244 ; 214-229LECTURE NOTES IN COMPUTER SCIENCE , 8244 ; 214-229
-
Publisher:
- New search for: SPRINGER-VERLAG
-
Publication date:2013-01-01
-
Size:16 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.