Showing results 1 to 7 of 7
HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
SCR 요구사항 명세의 정형적인 의미론 홍형석; 차성덕; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.26, no.8, pp.988 - 999, 1999-08 |
동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
온라인 이미지에 관한 정보은닉 방지기법 차성덕; 박근한; 이흥규, 한국정보보호학회 논문지 , v.6, no.2, pp.23 - 32, 1996-06 |
클래스의 상태기반 테스팅 방법 홍형석; 권용래; 차성덕, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.11, pp.1145 - 1154, 1996-11 |
페이건 인스펙션의 오류검출 능력에 관한 실험적 평가 소선섭; 차성덕; 권용래; T.J. Shimeall, 정보과학회논문지 : 소프트웨어 및 응용, v.24, no.12, pp.1374 - 1381, 1997-12 |
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석 이우진; 차성덕; 권용래; 김흥남, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.3, pp.210 - 216, 2000-03 |
Discover