본문 바로가기

최진영 (Jin-Young Choi)

소속기관
고려대학교
소속부서
컴퓨터학과
직급
교수
ORCID
-
연구경력
-

주요 연구분야

  • 사회과학 > 문헌정보학
  • 공학 > 컴퓨터학

저자의 연구 키워드

저자가 작성한 논문들의 주요 키워드입니다.

저자의 연구 키워드
-

저자의 논문 현황

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

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

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
소프트웨어 요구명세와 설계 명세간의 부합성 검사 한국정보과학회 학술발표논문집 2004 61 0
CBMC를 이용한 트리플 DES의 검증 한국정보과학회 학술발표논문집 2004 59 0
ESTEREL을 이용한 RTOS Scheduler 의 검증 및 구현 한국정보과학회 학술발표논문집 2004 47 0
정형 명세를 통한 보안 프로토콜 코드 생성 한국정보과학회 학술발표논문집 2004 27 0
Assertion Based Verification을 이용한 Statechart 모델의 검증 한국정보과학회 학술발표논문집 2004 27 0
모델체킹을 이용한 Carlsen BCY 프로토콜 검증 한국정보과학회 학술발표논문집 2004 26 0
사전공격 방지를 위한 S / KEY의 정형 명세 및 검증 정보과학회논문지 : 소프트웨어 및 응용 2004 69 0
[워크샵 보고]SCI : 과연 정보과학 분야에서도 유효한 연구업적 평가척도인가? 정보과학회지 2004 100 0
정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발 정보과학회지 2004 49 0
정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발 정보과학회지 2004 49 0
이동 단말기를 위한 동영상 스트리밍 소프트웨어 정보과학회지 2004 61 0
보안을 위한 무아레 무늬의 키 생성 기법 한국정보과학회 학술발표논문집 2003 77 0
보안모델 및 정형검증 도구 개발 한국정보과학회 학술발표논문집 2003 48 0
소프트웨어 관점에서 본 내장형 시스템의 테스트 프로세스 한국정보과학회 학술발표논문집 2003 40 0
소프트웨어 관점에서 본 내장형 시스템의 테스트 프로세스 한국정보과학회 학술발표논문집 2003 40 0
보안성 정형화 설계 및 검증 기술에 관한 연구 한국정보과학회 학술발표논문집 2003 33 0
SyncCharts를 이용한 UML Statecharts 의미론 한국정보과학회 학술발표논문집 2003 13 0
STSR의 실시간 내장형 시스템의 명세 한국정보과학회 학술발표논문집 2003 9 0
메가 단위 미생물 유전체 규명을 위한 DNA 조각 재결합 정보과학회지 2003 21 0
STSR의 실시간 내장형 시스템 명세 한국정보과학회 학술발표논문집 2003 8 0
더보기