A demonstration of a formal specification & requirements language : a case study
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/86852 |
_version_ | 1811068255479005184 |
---|---|
author | Sutherland, Sean J. P. (Sean Jason Perry), 1977- |
author2 | Nancy G. Leveson. |
author_facet | Nancy G. Leveson. Sutherland, Sean J. P. (Sean Jason Perry), 1977- |
author_sort | Sutherland, Sean J. P. (Sean Jason Perry), 1977- |
collection | MIT |
description | Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001. |
first_indexed | 2024-09-23T07:53:36Z |
format | Thesis |
id | mit-1721.1/86852 |
institution | Massachusetts Institute of Technology |
language | eng |
last_indexed | 2024-09-23T07:53:36Z |
publishDate | 2014 |
publisher | Massachusetts Institute of Technology |
record_format | dspace |
spelling | mit-1721.1/868522022-01-13T07:54:01Z A demonstration of a formal specification & requirements language : a case study Sutherland, Sean J. P. (Sean Jason Perry), 1977- Nancy G. Leveson. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Electrical Engineering and Computer Science. Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001. Includes bibliographical references (p. 109,111 [p. 110 intentionally blank]). by Sean J.P. Sutherland. M.Eng. 2014-05-07T17:10:01Z 2014-05-07T17:10:01Z 2001 2001 Thesis http://hdl.handle.net/1721.1/86852 51638917 eng 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 111 p. application/pdf Massachusetts Institute of Technology |
spellingShingle | Electrical Engineering and Computer Science. Sutherland, Sean J. P. (Sean Jason Perry), 1977- A demonstration of a formal specification & requirements language : a case study |
title | A demonstration of a formal specification & requirements language : a case study |
title_full | A demonstration of a formal specification & requirements language : a case study |
title_fullStr | A demonstration of a formal specification & requirements language : a case study |
title_full_unstemmed | A demonstration of a formal specification & requirements language : a case study |
title_short | A demonstration of a formal specification & requirements language : a case study |
title_sort | demonstration of a formal specification requirements language a case study |
topic | Electrical Engineering and Computer Science. |
url | http://hdl.handle.net/1721.1/86852 |
work_keys_str_mv | AT sutherlandseanjpseanjasonperry1977 ademonstrationofaformalspecificationrequirementslanguageacasestudy AT sutherlandseanjpseanjasonperry1977 demonstrationofaformalspecificationrequirementslanguageacasestudy |