Browse "School of Computing(전산학부)" by Subject Requirements
Showing results 1 to 2 of 2
| PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink 김태호; Kim, Tae-Ho; et al, 한국과학기술원, 1997 |
| 소프트웨어 제품 라인의 요구사항과 아키텍처 간 추적성 모델링 엄석환; 강성원; 김진규; 이선아, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.4, no.11, pp.487 - 498, 2015-11 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,747 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989