지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
개발 표준화에 의한 완성된 제어기 소프트웨어의 차량 검증을 위한 사전 검증 방안 연구
한국자동차공학회 추계학술대회 및 전시회
2024 .11
전력 공급신뢰도 평가를 위한 교육용 소프트웨어 개발
조명·전기설비학회논문지
2015 .07
“소프트웨어재난” 특집을 내면서
정보과학회지
2023 .06
“AI기반 소프트웨어 개발” 특집을 내면서
정보과학회지
2020 .04
체계적인 소프트웨어 확인 및 검증 절차를 통한 안전관련 소프트웨어 신뢰도 향상 방안
한국정보과학회 학술발표논문집
2015 .12
ISO26262 국제 표준에 따른 소프트웨어 동적검증 방법 분석
제어로봇시스템학회 국내학술대회 논문집
2024 .07
머신러닝을 이용한 임베디드 소프트웨어 검증
한국자동차공학회 추계학술대회 및 전시회
2021 .11
전장정보체계 SW 개발을 위한 시큐어 코딩 라이브러리에 관한 연구
전기전자학회논문지
2018 .06
DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
“프로그래밍언어 동향 특집을 내며”특집을 내면서
정보과학회지
2017 .03
중소규모 SW개발 프로젝트를 위한 시각화 기반의 Tool-Chain 품질관리 방법 제안
멀티미디어학회논문지
2015 .04
A Test Automation Framework for Heterogeneous Automotive Embedded Software Systems
한국자동차공학회 추계학술대회 및 전시회
2016 .11
“소프트웨어 교육과 인재양성” 특집을 내면서
정보과학회지
2018 .11
효율적 군집임무협업 SW 검증을 위한 고충실도/객체지향적 검증환경 개발
항공우주시스템공학회 학술행사 논문집
2023 .10
Development of simulation-based testing environment for safety-critical software
Nuclear Engineering and Technology
2018 .01
A software reliability model with a Burr Type Ⅲ fault detection rate function
International Journal of Reliability and Applications
2016 .12
“산업에서 바라본 소프트웨어 공학” 특집을 내면서
정보과학회지
2022 .05
모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법
한국정보과학회 학술발표논문집
2015 .12
“소프트웨어 및 인공지능 교육” 특집을 내면서
정보과학회지
2021 .09
소프트웨어 정의 경계를 이용한 네트워크 트래픽 기반 동적 접근 제어
정보보호학회논문지
2024 .08
0