Model based specification for developing safety-critical system-software

Author(s)
Karasi, Anand K. (Anand Kumar), 1975-
Thumbnail
Download48771948-MIT.pdf (68.59Mb)
Other Contributors
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. http://dspace.mit.edu/handle/1721.1/7582
Metadata
Show full item record
Description
Thesis: S.M., Massachusetts Institute of Technology, Technology and Policy Program, 2000
 
Includes bibliographical references (leaves 62-63).
 
Date issued
2000
URI
https://hdl.handle.net/1721.1/165411
Department
Technology and Policy Program
Publisher
Massachusetts Institute of Technology
Keywords
Technology and Policy Program.
Collections