Browse "NE-Journal Papers(저널논문)" by Author 차성덕

Showing results 1 to 2 of 2

1
NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARESPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICALSYSTEMS

HAN, HYUNCHUL; 성풍현researcher; 차성덕; 윤청; YOO, JUNBEOM; KOO, SEO RYONG, NUCLEAR ENGINEERING AND TECHNOLOGY , v.38, no.3, pp.259 - 276, 2006-04

2
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증

지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현researcher, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0