First Page | Document Content | |
---|---|---|
Date: 2014-12-01 09:23:10Computing POSIX Virtual file system File descriptor Read Close UBIFS Open Write C POSIX library System software Software | Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {ernst,schAdd to Reading ListSource URL: www.isse.uni-augsburg.deDownload Document from Source WebsiteFile Size: 475,76 KBShare Document on Facebook |