Formal methods for design automation application development
Author(s)
Bachrach, Hillel E
DownloadFull printable version (11.97Mb)
Advisor
Anna Thornton.
Terms of use
Metadata
Show full item recordDescription
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997. Includes bibliographical references (p. 76-79).
Date issued
1997Department
Massachusetts Institute of Technology. Department of Mechanical EngineeringPublisher
Massachusetts Institute of Technology
Keywords
Mechanical Engineering