연구동향 분석
홈
알림
이용안내
오류접수
API
서비스소개
인기 연구 키워드 :
인기 활용 키워드 :
최윤자 ( Yun Ja Choi )
연구자 Analysis
발표논문
연구자 Analysis
발표논문
연구자정보
저자
최윤자 ( Yun Ja Choi )
발표논문( 2)
공동연구자( 3)
김광훈 ( Goanghun Kim )
1건
김동우(Dong-woo Kim)
1건
박민규 ( Ming Yu Park )
1건
유사연구자 ( 0)
※활용도순 상위 20명
연구자관계도
최윤자 ( Yun Ja Choi )
'최윤자 ( Yun Ja Choi )'의 연구자 점유율
논문점유율 요약
동일주제 총논문수
주제별 연구자 총논문수
연구자점유율(주제별 연구자점유율의 평균)
14
10
87.5%
자세히
연구자 점유율
주제
주제별 논문수
주제별 연구자논문수
주제별 연구자점유율
주제어
automotive os
1
1
100.0%
online game server verificati ...
1
1
100.0%
safety checking
1
1
100.0%
spin model checker
1
1
100.0%
스핀 모델 체커
1
1
100.0%
온라인 게임 서버 검증
1
1
100.0%
차량 전장용 운영체제
1
1
100.0%
코드 슬라이싱
1
1
100.0%
안전성 검증
2
1
50.0%
program slicing
4
1
25.0%
계
14
10
* 주제로 분류 되지 않은 논문건수
0
닫기
'최윤자 ( Yun Ja Choi )'
의 발표논문(2)
CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구
김동우(Dong-woo Kim)
최윤자 ( Yun Ja Choi )
박민규 ( Ming Yu Park )
한국정보처리학회
[2015]
소프트웨어 공학 : 온라인 게임 서버의 파티 시스템 검증을 위한 스핀 모델 체커 적용에 관한 연구
김광훈 ( Goanghun Kim )
최윤자 ( Yun Ja Choi )
한국정보처리학회
[2015]