	함수 블록 다이어그램으로 명세된 PLC 프로그램에 대한 구조적 테스팅 기법
	지은경 전승재 차성덕 Eunkyoung Jee Seungjae Jeon Sungdeok Cha
	한국정보과학회 논문지 B - 소프트웨어 및 응용, VOL 35 NO. 03 PP. 0149 ~ 0161 2008. 03
	함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형 검증 기법
	지은경 전승재 차성덕 Eunkyoung Jee Seungjae Jeon Sungdeok Cha
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 15 NO. 03 PP. 0211 ~ 0215 2009. 03

학술대회 프로시딩 (24)

	함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형검증
	지은경 전승재 차성덕 Eunkyoung Jee Seungjae Jeon Sungdeok Cha
	한국정보과학회 한국컴퓨터종합학술대회 2008, VOL 35 NO. 01(A) PP. 0068 ~ 0069 2008. 06
	FBD 및 LD로 구현된 XML기반 PLC프로그램에 대한 정형검증
	김병완 지은경 차성덕 Byongwan Kim Eunkyoung Jee Sungdeok Cha
	한국정보과학회 2008 추계학술대회, VOL 35 NO. 02(A) PP. 0063 ~ 0064 2008. 10