Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. MIT Libraries
  3. MIT Theses
  4. Graduate Theses
  5. Investigating the readability of formal specification languages

Investigating the readability of formal specification languages

Thumbnail Image
Download
Name

49884977-MIT.pdf

Description
Full printable version
Size

16.26 MB

Format

Adobe PDF

Checksum (MD5)

3557bf5bac6db8ae77b448eba220587f

Author(s)
Zimmerman, Marc Kenton, 1975-
Advisor(s)
Nancy G. Leveson.
Date Issued
2001
Publisher
Massachusetts Institute of Technology
Description
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001.
Includes bibliographical references (leaves 90-92).
Subjects
Aeronautics and Astronautics.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Persistent DSpace Link
http://hdl.handle.net/1721.1/82206
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.