First Page | Document Content | |
---|---|---|
Date: 2015-02-26 04:38:47Disk file systems Flash file systems Embedded Linux Unix UBIFS LogFS Log-structured file system File system Virtual file system System software Computing Software | Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang ReifAdd to Reading ListSource URL: www.isse.uni-augsburg.deDownload Document from Source WebsiteFile Size: 446,09 KBShare Document on Facebook |