Proving correctness of a controller algorithm for the RAID Level 5 system
Author(s)
Vaziri-Farahani, Mandana
DownloadFull printable version (5.070Mb)
Advisor
Nancy A. Lynch.
Terms of use
Metadata
Show full item recordDescription
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. Includes bibliographical references (p. 87-89).
Date issued
1996Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science