지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법
한국항공우주학회 학술발표회 초록집
2019 .11
항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
항공기 소프트웨어의 시그널 핸들러로 인한 원자성 위배를 자율 수리하는 건전성 관리시스템
항공우주시스템공학회 학술행사 논문집
2024 .10
항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법
한국항공우주학회지
2020 .07
A Tool for On-the-fly Repairing of Atomicity Violation in GPU Program Execution
한국컴퓨터정보학회논문지
2021 .09
항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템
한국항공우주학회지
2020 .10
항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
Storage I/O Subsystem for Guaranteeing Atomic Write in Database Systems
Journal of KIISE
2015 .02
항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법
한국항공우주학회 학술발표회 초록집
2019 .11
수리검사 제도
오토저널
2018 .05
항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템
한국항공우주학회지
2023 .11
모델 기반 소프트웨어의 모델 테스트 자동화 방법에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
자율주행 제어소프트웨어의 안전성을 위한 지능 기반 테스트 기법
정보과학회지
2020 .04
Component-based Software Architecture Design Method for Defense Software
Journal of KIISE
2019 .11
소프트웨어 역량의 핵심, 소프트웨어 및 시스템 제품라인
정보과학회지
2018 .04
온도변화와 수리방법에 따른 스카프 수리 복합재 적층판의 정적 강도 연구
항공우주시스템공학회 학술행사 논문집
2017 .11
DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크
항공우주시스템공학회 학술행사 논문집
2019 .05
국내 소프트웨어공학의 전문용어 사용: 소프트웨어 안전 분야를 중심으로
정보과학회지
2022 .05
공종별 수선비용 추계모델을 활용한 공동주택 장기수선충당금 적립금액 산정
KIEAE Journal
2016 .06
0