Flash store / Wolfgang Reif Institute / Systems Engineering University of Augsburg / /
IndustryTerm
concrete file systems / less energy / file systems / web-presentation / storage technology / /
OperatingSystem
Unix / Microsoft Windows / POSIX / Linux / /
Organization
Wolfgang Reif Institute for Software / Software and Systems Engineering University of Augsburg / National Aeronautics and Space Administration / U.S. Securities and Exchange Commission / /
Person
Dominik Haneberg / Gerhard Schellhorn / /
Product
pre-op / /
ProgrammingLanguage
J / /
Technology
storage technology / dom / simulation / Flash memory / Linux / Unix / Flash / /
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