Correctness of vehicle control systems a case study
Author(s)
Weinberg, Henri B. (Henri Bernard)
DownloadFull printable version (4.420Mb)
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. 97-100).
Date issued
1996Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science