• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
로그인 회원가입 About Us 이용안내
사이트맵
닫기

사이트맵

Loading..

Please wait....

검색 결과

컴퓨터연구정보센터::연구문헌
[ 자주찾는 논문 TOP 10 ]
  1. ·   
  2. ·   
  3. ·   
  4. ·   
  5. ·   
  6. ·   
  7. ·   
  8. ·   
  9. ·   
  10. ·   

실시간 검색어

검색어 "Chung-Kil Hur"에 대한 [연구문헌] 검색결과 입니다.


국내 논문지 (1) 더보기
  제목(Title) Coq에서의 실시간 분산 시스템 검증을 위한 네트워크 및 운영체제 행동의 정형 모델 정의
저자(Author) 김윤승   허충길   Yoonseung Kim   Chung-Kil Hur  
수록저널(Journal) 정보과학회논문지
원문수록처(Citation) VOL 47 NO. 11 PP. 1071 ~ 1077 2020. 11
학술대회 프로시딩 (2) 더보기
  제목(Title) 정적분석 경보에서 효율적으로 오류를 찾아내는 사용자 상호작용 시스템
저자(Author) 김종권   이우석   최재승   허충길   이광근   Jong-Gwon Kim   Woosuk Lee   Jaeseung Choi   Chung-Kil Hur   Kwangkeun Yi  
수록저널(Journal) 한국정보과학회 2016 한국컴퓨터종합학술대회
원문수록처(Citation) VOL 43 NO. 01 PP. 1712 ~ 1714 2016. 06
  제목(Title) LLVM 컴파일러의 한 최적화 패스를 위한 검산틀
저자(Author) 최준원   조성근   강지훈   허충길   이광근   Joonwon Choi   Sungkeun Cho   Jeehoon Kang   Chung-Kil Hur   Kwangkeun Yi  
수록저널(Journal) 한국정보과학회 한국컴퓨터종합학술대회 2014
원문수록처(Citation) VOL 41 NO. 01 PP. 1606 ~ 1608 2014. 06