An automated verfication tool for expert systems

Pau, Alexandra Y

An automated verfication tool for expert systems

Download

Name

35953947-MIT.pdf

Description

Full printable version

Size

9.16 MB

Format

Adobe PDF

Checksum (MD5)

ba32fdc5ecea0a818caa437e21c5404b

Author(s)

Pau, Alexandra Y

Date Issued

1996

Publisher

Massachusetts Institute of Technology

Description

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.

Includes bibliographical references (leaf 47).

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/40219