임베디드 소프트웨어의 검증에 관한 연구

이상용 ,  장중순 ,  최경희 외 3명

대한산업공학회 추계학술대회 논문집

2004 .11

“임베디드 소프트웨어" 특집을 내면서

최병주

정보과학회지

2004 .06

무기체계 임베디드 소프트웨어 개발 프로세스

윤희병 ,  오행록 ,  조병인

정보과학회지

2007 .09

임베디드 소프트웨어 인증에 있어서 소프트웨어 계획 프로세스 수행 시 고려사항 연구

이현규 ,  박훈 ,  양재원

한국항공우주학회 학술발표회 초록집

2010 .04

임베디드 시스템과 소프트웨어공학

김문회 ,  김두현 ,  김정국

정보과학회지

2004 .06

임베디드 시스템을 위한 소프트웨어 시험 환경 구축

강병도

한국산업정보학회논문지

2008 .06

열차제어시스템 임베디드 소프트웨어 기능안전성 검증방안 연구

조현정 ,  백종현 ,  이강미 외 3명

대한전자공학회 학술대회

2012 .06

임베디드 소프트웨어를 위한 탐색적 테스팅 접근법

이재철 ,  신대휘 ,  권호열

대한전자공학회 학술대회

2012 .11

“임베디드 소프트웨어 기반 기술" 특집을 내면서

홍장의 ,  권진백

정보과학회지

2006 .08

“소프트웨어 개발 프로세스” 특집을 내면서

권호열

정보과학회지

2002 .03

“소프트웨어 프로세스" 특집을 내면서

배두환

정보과학회지

2003 .04

임베디드 소프트웨어 최근 기술 동향

김흥남 ,  박승민 ,  김두현

정보과학회지

2006 .08

임베디드 소프트웨어 신뢰성 평가 모델 분석

김선호 ,  서장훈

대한산업공학회 추계학술대회 논문집

2006 .11

[권두언] “임베디드 소프트웨어 품질” 특집을 내면서

이우진

정보과학회지

2014 .04

원자력 임베디드 소프트웨어 시험검증 전략 및 사례

이영준 ,  권기춘 ,  이장수

정보과학회지

2014 .04

임베디드 소프트웨어의 상태 기반 프로그래밍 기법 연구

류호동 ,  김해 ,  이우진

한국통신학회 학술대회논문집

2011 .11

임베디드 소프트웨어 통합 개발 환경 기술

임채덕 ,  김태호

정보과학회지

2006 .08

“임베디드 시스템” 특집을 내면서

이준원

정보과학회지

2002 .07

임베디드 소프트웨어 품질향상을 위한 시험 사례 연구

김경용

정보 및 제어 논문집

2012 .10

AUTOSAR와 모델기반 기법을 적용한 차량 임베디드 시스템 소프트웨어의 개발 및 검증 기법

금대현 ,  손장경 ,  손준우 외 1명

제어로봇시스템학회 논문지

2007 .12