Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. MIT Libraries
  3. MIT Theses
  4. Graduate Theses
  5. Selecting predicates for conditional invariant detection using cluster analysis

Selecting predicates for conditional invariant detection using cluster analysis

Thumbnail Image
Download
Name

53478914-MIT.pdf

Description
Full printable version
Size

2.36 MB

Format

Adobe PDF

Checksum (MD5)

8e60e08d61a9228533715a908972fed9

Author(s)
Dodoo, Nii Lartey, 1977-
Advisor(s)
Michael D. Ernst.
Date Issued
2002
Publisher
Massachusetts Institute of Technology
Description
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
Includes bibliographical references (p. 59-61).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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/87425
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.