Model based specification for developing safety-critical system-software
Name
48771948-MIT.pdf
Size
68.6 MB
Format
Adobe PDF
Checksum (MD5)
1fc4adf06229dbdc5ec0a717909e09d3
Author(s)
Karasi, Anand K.
(Anand Kumar),
1975-
Date Issued
2000
Publisher
Massachusetts Institute of Technology
Description
Thesis: S.M., Massachusetts Institute of Technology, Technology and Policy Program, 2000
Includes bibliographical references (leaves 62-63).
Subjects
Technology and Policy Program.
MIT Department
Technology and Policy Program
Terms of Use
MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided.
Persistent DSpace Link
