Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출Detection of common mode failures in N-version software using weakest precondition analysis
- Advisors
- 차성덕; Cha, Sung-Deok
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1997
- Identifier
- 114309/325007 / 000953375
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ v, 73 p. ]
- Keywords
소프트웨어 고장 허용; 다중 버전 프로그래밍; 공통 모드 고장; Weakest precondition; Software fault tolerance; Common mode failure; N-version programming
- 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.