Showing results 1 to 3 of 3
Development of a verification method for the FBD-style design specification using ESDT and SMV = ESDT와 SMV를 이용한 FBD-style 설계명세서를 위한 검증 방법 개발link Song, Myung-Jun; 송명준; et al, 한국과학기술원, 2004 |
SMV model-based safety analysis of software requirements = SMV 모델기반의 소프트웨어 요구사항 안전성 분석link Koh, Kwang-Yong; 고광용; et al, 한국과학기술원, 2006 |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
Discover