DSpace at KOASAS
Browsing DSpace

Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author 차성덕

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

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

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

2
반례를 이용한 프로그램의 오류 원인 탐지 기법

차성덕; 신모범; 김태효; 방호정, 한국정보과학회 06 한국컴퓨터종합학술대회, pp.142 - 144, 2006

3
비정상 웹 세션 탐지 및 지역 기반 시각화

차성덕; 김상록; 서정석; 이준섭, 2006 한국정보과학회 제 33회 추계 학술대회, pp.616 - 620, 2006

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

지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, 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