Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출Detection of common mode failures in N-version software using weakest precondition analysis
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 차성덕 | - |
| dc.contributor.advisor | Cha, Sung-Deok | - |
| dc.contributor.author | 윤광식 | - |
| dc.contributor.author | Yoon, Gwang-Sik | - |
| dc.date.accessioned | 2011-12-13T05:58:01Z | - |
| dc.date.available | 2011-12-13T05:58:01Z | - |
| dc.date.issued | 1997 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=114309&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/34207 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ v, 73 p. ] | - |
| dc.language | kor | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | 소프트웨어 고장 허용 | - |
| dc.subject | 다중 버전 프로그래밍 | - |
| dc.subject | 공통 모드 고장 | - |
| dc.subject | Weakest precondition | - |
| dc.subject | Software fault tolerance | - |
| dc.subject | Common mode failure | - |
| dc.subject | N-version programming | - |
| dc.title | Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 | - |
| dc.title.alternative | Detection of common mode failures in N-version software using weakest precondition analysis | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 114309/325007 | - |
| dc.description.department | 한국과학기술원 : 전산학과, | - |
| dc.identifier.uid | 000953375 | - |
| dc.contributor.localauthor | 차성덕 | - |
| dc.contributor.localauthor | Cha, Sung-Deok | - |
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.