Show simple item record

Model based specification for developing safety-critical system-software

dc.contributor.authorKarasi, Anand K. (Anand Kumar), 1975-en_US
dc.contributor.otherTechnology and Policy Program.en_US
dc.date.accessioned2026-04-13T17:30:04Z
dc.date.available2026-04-13T17:30:04Z
dc.date.copyright2000en_US
dc.date.issued2000en_US
dc.identifier.urihttps://hdl.handle.net/1721.1/165411
dc.descriptionThesis: S.M., Massachusetts Institute of Technology, Technology and Policy Program, 2000en_US
dc.descriptionIncludes bibliographical references (leaves 62-63).en_US
dc.description.statementofresponsibilityby Anand K. Karasi.en_US
dc.format.extent90 leavesen_US
dc.publisherMassachusetts Institute of Technologyen_US
dc.rightsMIT 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.en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582en_US
dc.subjectTechnology and Policy Program.en_US
dc.titleModel based specification for developing safety-critical system-softwareen_US
dc.typeAcademic theses.en_US
dc.typeAcademic theses.en_US
dc.typeThesisen_US
dc.description.degreeS.M.en_US
dc.contributor.departmentTechnology and Policy Programen_US
dc.identifier.oclc48771948en_US
dc.description.collectionS.M. Massachusetts Institute of Technology, Technology and Policy Programen_US
dspace.imported2026-04-13T17:30:04Zen_US
mit.thesis.degreeMasteren_US


Files in this item

Thumbnail
Name:
48771948-MIT.pdf
Size:
68.59Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record