본문 바로가기

김의섭 (Eui-Sub Kim)

소속기관
건국대학교
소속부서
컴퓨터 정보통신공학과
직급
-
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 공학일반
  • 공학 > 컴퓨터학

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수15
  • 발행기간2006 ~ 2019
  • 이용수731
  • 피인용수0

논문제목를 인용한 논문목록입니다.

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
Safety Case 패턴의 분류 카테고리에 따른 인스턴스 생성 한국정보과학회 학술발표논문집 2019 1 0
지능형 교통시스템의 사이버물리 시스템을 위한 요구사항 추적 모델 및 지원 도구 한국정보과학회 학술발표논문집 2018 20 0
OOPT: 소프트웨어공학 교육을 위한 객체지향 소프트웨어 개발 방법론 정보과학회논문지 2017 123 0
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs Journal of Computing Science and Engineering 2017 25 0
FBDtoVHDL: FPGA 개발을 위한 FBD에서 VHDL로의 자동 변환 정보과학회논문지 2016 33 0
FBDtoVHDL : FPGA 개발을 위한 FBD로부터 VHDL 자동 변환 도구 한국정보과학회 학술발표논문집 2015 8 0
IP Core Library 사용이 상용 합성도구의 COTS SW Dedication에 미치는 영향 분석 한국정보과학회 학술발표논문집 2015 5 0
원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증 정보과학회지 2015 56 0
원자력발전소용 FPGA 기반 디지털 I&C 시스템 개발에 사용된 COTS 소프트웨어의 안전 카테고리 분류 한국정보과학회 학술발표논문집 2015 22 0
Verilog4VIS-EC: VIS의 동치성 검사를 위한 Verilog의 정제된 포맷 한국정보과학회 학술발표논문집 2015 16 0
RT-Selection : 텍스트 차이점과 변경 영향 분석을 이용한 회귀 테스트 선택 기법 정보과학회논문지 : 소프트웨어 및 응용 2014 131 0
원자력 발전소 I&C 시스템의 안전성 분석을 위한 신기술 적용 사례 정보과학회지 2013 178 0
고장수목을 이용한 Function Block Diagram의 위험성 분석 기법 연구 한국정보과학회 학술발표논문집 2012 51 0
재사용 SW 자산의 효과적인 활용 체계 구축 전략 정보과학회지 2006 62 0
A Behavior-Preserving Translation from FBD Design to C Implementation for Reactor Protection System Software Nuclear Engineering and Technology 2013 0 0