지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
제어기 성능검증 시뮬레이터 개발
정보 및 제어 논문집
2018 .10
DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
SIL검증과 HIL검증 비교를 통한 SIL검증 유효성 증대 방안 연구
한국자동차공학회 추계학술대회 및 전시회
2024 .11
통합시험환경 모델 검증 자동화 설계
한국항행학회논문지
2019 .01
체계적인 소프트웨어 확인 및 검증 절차를 통한 안전관련 소프트웨어 신뢰도 향상 방안
한국정보과학회 학술발표논문집
2015 .12
모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법
한국정보과학회 학술발표논문집
2015 .12
다중모드 통합시험환경을 이용한 계층구조 항공전자시스템의 검증
한국항공우주학회지
2017 .11
머신러닝을 이용한 임베디드 소프트웨어 검증
한국자동차공학회 추계학술대회 및 전시회
2021 .11
효율적 군집임무협업 SW 검증을 위한 고충실도/객체지향적 검증환경 개발
항공우주시스템공학회 학술행사 논문집
2023 .10
철도차량용 소프트웨어 소스코드 검증방안 연구
한국철도학회 학술발표대회논문집
2015 .05
ISO26262 국제 표준에 따른 소프트웨어 동적검증 방법 분석
제어로봇시스템학회 국내학술대회 논문집
2024 .07
위성비행소프트웨어를 위한 탑재컴퓨터 검증 세트 개발
한국항공우주학회 학술발표회 초록집
2022 .11
Steer-by-Wire System 기반 가상 ECU 검증 방안 연구
한국자동차공학회논문집
2025 .05
센싱 데이터 수집 시스템을 위한 통합검증 프로세스 설계
한국정보통신학회 종합학술대회 논문집
2021 .10
SDV(Software Defined Vehicle) 실현을 위한 전자아키텍처 설계
정보과학회지
2023 .12
항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안
한국항공우주학회 학술발표회 초록집
2023 .04
SDV 완성도 기여하는 차량 아키텍처 방법론의 혁신
전자기술
2023 .11
테스팅 기반 철도신호 소프트웨어 검증 방법 고찰
대한전자공학회 학술대회
2017 .06
C Cube - CAPL to C Converter
한국자동차공학회 춘계학술대회
2016 .05
0