Back to Results
First PageMeta Content
Computing / 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,sch
Add to Reading List

Document Date: 2014-12-01 09:23:10


Open Document

File Size: 475,76 KB

Share Result on Facebook
UPDATE