임베디드 소프트웨어 시험 사례

이용호 ,  정창신 ,  신석규

정보과학회지

2004 .06

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

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

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

2004 .11

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

강병도

한국산업정보학회논문지

2008 .06

임베디드 소프트웨어를 위한 기능 중심 평가 모델

최현미 ,  성아영 ,  최병주 외 1명

정보과학회논문지 : 소프트웨어 및 응용

2005 .12

전력시험용 소프트웨어 개발

윤지호 ,  김근용 ,  류재남 외 1명

대한전기학회 학술대회 논문집

2003 .11

원전 계측 제어 설비 개발

이용호

원자력산업

1999 .01

PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증

김태호 ,  차성덕

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2002 .02

임베디드 소프트웨어의 개발 프로세스와 품질평가방법

김금옥 ,  양해술

한국컴퓨터정보학회논문지

2008 .11

정형 검증 도구를 이용한 보안 소프트웨어 개발 방안

장승주

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2006 .04

철도차량용 소프트웨어 소스코드 검증방안 연구

강치용 ,  조치환 ,  공명상 외 1명

한국철도학회 학술발표대회논문집

2015 .05

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

최병주

정보과학회지

2004 .06

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

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

대한전자공학회 학술대회

2012 .06

임베디드 시스템의 재사용 프레임워크를 위한 정적 메타모델 설계

조은숙 ,  김철진 ,  이숙희

멀티미디어학회논문지

2009 .02

모델 기반 임베디드 소프트웨어의 개발 경험

이정림 ,  박사천 ,  권기현

한국정보과학회 학술발표논문집

2004 .04

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

이영준 ,  권기춘 ,  이장수

정보과학회지

2014 .04

실시간 이동형 내장 소프트웨어 시험 도구의 구조 설계

김상일 ,  이남용 ,  류성열

정보과학회논문지 : 소프트웨어 및 응용

2006 .04

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

김경용

정보 및 제어 논문집

2012 .10