연구동향 분석
홈
알림
이용안내
오류접수
API
서비스소개
인기 연구 키워드 :
인기 활용 키워드 :
Alarm과 ISR을 고려한 IoT 디바이스 제어 소프트웨어의 API 호출 제약사항 검증
김동우 ( Dongwoo Kim )
최윤자 ( Yunja Choi )
2018년
활용도 Analysis
논문 Analysis
연구자 Analysis
활용도 Analysis
논문 Analysis
연구자 Analysis
김동우 ( Dongwoo Kim )
최윤자 ( Yunja Choi )
연구자명
연구자명
연구자명
활용도
공유도
영향력
연구자정보
저자
김동우 ( Dongwoo Kim )
발표논문(2)
발표논문 보기→
공동연구자(1)
최윤자 ( Yunja Choi )
2건
유사연구자 (20)
※활용도순 상위 20명
Jung, Hoe-kyung
1건
고영섭
1건
권오성
1건
민성희(Seonghee Min)
1건
신승중
1건
신승중
1건
오유수(Yoosoo Oh)
1건
이수기(Lee, Sugie)
1건
이지운
1건
이한영 ( Han Young Lie )
1건
장윤재
1건
장윤재(Yoon Jae Jang)
1건
장은진
1건
장은진
1건
정회경
1건
조성겸
1건
조성겸(Sung Kyum Cho)
1건
조수빈
1건
주종문
1건
하재현(Ha, Jaehyun)
1건
공동연구/유사연구
김동우 ( Dongwoo Kim )
'김동우 ( Dongwoo Kim )'의 연구자 점유율
논문점유율 요약
동일주제 총논문수
주제별 연구자 총논문수
연구자점유율(주제별 연구자점유율의 평균)
525
24
28.5%
자세히
연구자 점유율
주제
주제별 논문수
주제별 연구자논문수
주제별 연구자점유율
주제어
Automotive Software
1
1
100.0%
Constraint Pattern
1
1
100.0%
API 호출 제약사항 검증
2
1
50.0%
API-call constraint checkin ...
2
1
50.0%
OSEK/VDX
2
1
50.0%
애플리케이션 프로그래밍 인터 ...
2
1
50.0%
자유법
2
1
50.0%
제약사항 패턴
2
1
50.0%
차량전장소프트웨어
2
1
50.0%
테러리즘 대응입법
2
1
50.0%
Model Checking
3
1
33.3%
patriot act
3
1
33.3%
애국법
5
1
20.0%
정형 검증
5
1
20.0%
formal verification
6
1
16.7%
professional manpower
8
1
12.5%
IoT system
9
1
11.1%
이상기후
17
1
5.9%
모델검증
22
1
4.5%
api
72
2
2.8%
정적 분석
45
1
2.2%
static analysis
94
1
1.1%
테러리즘
218
1
0.5%
계
525
24
* 주제로 분류 되지 않은 논문건수
0
닫기
연구주제 Time-line
'김동우 ( Dongwoo Kim )'
의 발표논문(2)
차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교
김동우 ( Dongwoo Kim )
최윤자 ( Yunja Choi )
한국정보처리학회
[2016]
Alarm과 ISR을 고려한 IoT 디바이스 제어 소프트웨어의 API 호출 제약사항 검증
김동우 ( Dongwoo Kim )
최윤자 ( Yunja Choi )
한국정보과학회
[2018]