|
* 이민지, 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019.
* M.-J. Lee, H.-J. Baek, K.-P. Lee, E.-T. Choi, an… |
|
* 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어에서 경합치유도구를 검증하기 위한 합성프로그램 모음", 2017 대한임베디드공학회 추계학술대회, pp. 122-123, IEMEK, 제주, Nov, 2017.
* Baek, H.-J., K.-P. Lee, E.-T. Cho… |
|
* 백형진, 이민지, 최으뜸, 전용기, "병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019.
* Baek, H.-j., M.-J. Lee, E.-T. Choi, and Y.-K. Jun, … |
|
* 백형진, 최으뜸, 이건표, 전용기, "항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019.
* Baek, H.-J., E.-T. Choi, K.-P. Lee, a… |
|
* 백형진, 우이정, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성오류 자율 수리도구를 검증하기 위한 오류패턴 모음", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018.
* Baek, H.-J., I.-J. Woo, E.-T. Choi, and Y.-K.… |
