First Page | Document Content | |
---|---|---|
Date: 2017-01-11 10:47:24System software Computer architecture Data management Embedded Linux Disk file systems LogFS Flash file system File system UBIFS Computer file NTFS File descriptor | 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 |