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

사이트맵

Loading..

Please wait....

검색 결과

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

실시간 검색어

검색어 "Yunja Choi"에 대한 [연구문헌] 검색결과 입니다.

학술대회 프로시딩 총 16건이 검색되었습니다.

엑셀로 저장

결과 내 재검색   검색

1 / 2 (Current/Total page)

1 제목(Title) 프로그램 합성 기법을 이용한 임베디드 소프트웨어의 모델 체킹 효율성 향상을 위한 사례 연구
저자(Author) 김요엘   최윤자   Yoel Kim   Yunja Choi  
수록저널(Journal)
원문수록처(Citation) VOL 48 NO. 02 PP. 0173 ~ 0175 2021. 12
2 제목(Title) 자동화 도구의 강건성을 위한 모델 기반 테스트 생성 기법
저자(Author) Dongyeong Kim   Yunja Choi   김동영   최윤자  
수록저널(Journal) 한국정보과학회 2020 한국컴퓨터종합학술대회 (KCC 2020)
원문수록처(Citation) VOL 47 NO. 01 PP. 0260 ~ 0262 2020. 07
3 제목(Title) Understand 기반 C 프로그램 AST 분석
저자(Author) 정인준   강민정   김선희   김동우   최윤자   Injun Jeong   Minjeong Kang   Sunhee Kim   Dongwoo Kim   Yunja Choi  
수록저널(Journal) 한국정보과학회 2019 한국컴퓨터종합학술대회 (KCC 2019)
원문수록처(Citation) VOL 46 NO. 01 PP. 1731 ~ 1733 2019. 06
4 제목(Title) CBMC를 사용한 모델 검증 효율 향상을 위한 모델 작성 기법
저자(Author) 정유희   최윤자   Yoohee Chung   Yunja Choi  
수록저널(Journal) 한국정보과학회 2016년 제43회 정기총회 및 동계학술발표회
원문수록처(Citation) VOL 43 NO. 02 PP. 0431 ~ 0433 2016. 12
5 제목(Title) 차량 전장용 운영체제의 주기적 태스크 검증을 지원하는 테스트 케이스 생성기
저자(Author) 최우용   김동우   최윤자   Wooyong Choi   Dongwoo Kim   Yunja Choi  
수록저널(Journal) 한국정보처리학회 2017년 춘계학술발표대회
원문수록처(Citation) VOL 24 NO. 01 PP. 0591 ~ 0594 2017. 04
6 제목(Title) C 언어를 이용한 OSEK/VDX 기반 운영 체제의 모델링 및 검증 기법
저자(Author) 정유희   박성준   최윤자   Yoohee Chung   Seongjun Park   Yunja Choi  
수록저널(Journal) 한국정보처리학회 2016년 춘계학술발표대회
원문수록처(Citation) VOL 23 NO. 01 PP. 0504 ~ 0507 2016. 04
7 제목(Title) Spin 모델 검증기를 활용한 내장형 소프트웨어 시뮬레이션
저자(Author) 박성준   김동우   최윤자   Seongjun Park   Dongwoo Kim   Yunja Choi  
수록저널(Journal) 한국정보처리학회 2016년 춘계학술발표대회
원문수록처(Citation) VOL 23 NO. 01 PP. 0493 ~ 0496 2016. 04
8 제목(Title) Verilog HDL 로 기술된 조합 논리회로의 Cadence SMV 기반 정형 검증 방법
저자(Author) 조성득   김영규   문병인   최윤자   Seond-Deuk Jo   Young-Kyu Kim   Byungin Moon   Yunja Choi  
수록저널(Journal) 한국정보처리학회 2015년 추계학술발표대회
원문수록처(Citation) VOL 22 NO. 02 PP. 1027 ~ 1030 2015. 10
9 제목(Title) 차량 전장용 제어 소프트웨어 응용프로그램의 검증을 위한 모델 기반 Task Simulation 도구
저자(Author) 이수경   김동우   최윤자   Sukyung Lee   Dongwoo Kim   Yunja Choi  
수록저널(Journal) 한국정보처리학회 2015년 추계학술발표대회
원문수록처(Citation) VOL 22 NO. 02 PP. 0962 ~ 0965 2015. 10
10 제목(Title) 스핀 모델 체커를 이용한 온라인 게임 서버의 파티 시스템 검증
저자(Author) 김광훈   박민규   최윤자   Goanghun Kim   Mingyu Park   Yunja Choi  
수록저널(Journal) 한국정보처리학회 2014년 제42회 추계학술발표대회
원문수록처(Citation) VOL 21 NO. 02 PP. 0609 ~ 0612 2014. 11
처음  이전 1 2 다음 끝