	제목(Title)	GTS-VL: 스마트 IoT에서 안전 요구사항 분석과 검증을 위한 시각화 논리 언어 및 도구
	저자(Author)	이성현 이문근 SungHyeon Lee MoonKun Lee
	수록저널(Journal)	정보처리학회논문지 컴퓨터 및 통신 시스템
	원문수록처(Citation)	VOL 11 NO. 09 PP. 0289 ~ 0304 2022. 09
	제목(Title)	IoT 시스템의 시스템 행위를 예측하기 위한 확률 프로세스 대수
	저자(Author)	송준섭 이문근 Junsup Song Moonkun Lee
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 47 NO. 03 PP. 0247 ~ 0265 2020. 03

영문 논문지 (1)

	제목(Title)	802.11 practical improvements using low power technology
	저자(Author)	Vishal Bhargava N.S. Raghava
	수록저널(Journal)	KSII Transactions on Internet and Information Systems
	원문수록처(Citation)	VOL 16 NO. 05 PP. 1735 ~ 1754 2022. 05

학술대회 프로시딩 (4)

	제목(Title)	연산 회로에서의 모듈 배치를 통한 지연시간 최적화 알고리즘
	저자(Author)	김동현
	수록저널(Journal)	한국정보과학회 2004 추계학술대회
	원문수록처(Citation)	VOL 31 NO. 02 PP. 0538 ~ 0540 2004. 10
	제목(Title)	누설 전력 최소화를 고려한 연산 아키텍쳐 설계
	저자(Author)	원대건
	수록저널(Journal)	한국정보과학회 2004 추계학술대회
	원문수록처(Citation)	VOL 31 NO. 02 PP. 0535 ~ 0537 2004. 10