지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Analysis of Utilization Methods of the Statistical Model Checking Results for Localizing Faults on System of Systems
Journal of KIISE
2020 .04
시스템 오브 시스템즈 대상 행동-이익-비용 모델링 및 통계적 모델 체킹 기반 속성 검증 사례 연구
한국정보과학회 학술발표논문집
2016 .06
통계적 모델 체킹 기반 시스템 오브 시스템즈 동적 재구성에 대한 목표 달성도 평가
한국정보과학회 학술발표논문집
2019 .12
시스템 오브 시스템즈 수준의 목표 달성 검증 도구
한국정보과학회 학술발표논문집
2017 .06
시스템 오브 시스템즈 모델링을 위한 다중 에이전트 시스템 메타 모델링 기법 분석
한국정보과학회 학술발표논문집
2016 .12
시스템 오브 시스템즈의 효율적 검증을 위한 목표 모델 슬라이싱
한국정보과학회 학술발표논문집
2018 .12
Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems
한국정보과학회 학술발표논문집
2022 .06
시스템 오브 시스템즈에서의 불확실성 요소 분석: 군집운행 시나리오에서의 사례 연구
한국정보과학회 학술발표논문집
2019 .12
시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구
정보과학회 컴퓨팅의 실제 논문지
2017 .04
시스템 오브 시스템즈의 런타임 검증 속성 명세 유형 분석 및 적용
한국정보과학회 학술발표논문집
2020 .12
다변수 시계열 데이터 군집화 알고리즘의 사이버 물리 시스템 오브 시스템즈 실패 분석을 위한 연구 조사
한국정보과학회 학술발표논문집
2022 .06
교통 분야 시스템 오브 시스템즈 대상 SUMO의 모델링 적합성 분석
한국정보과학회 학술발표논문집
2016 .06
시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류
정보과학회 컴퓨팅의 실제 논문지
2020 .10
Analysis of Case Scenario to Develop a System of Systems Meta-model for Ontology Representation
Journal of KIISE
2018 .10
(주)한국펌프앤시스템즈 회사소개서
한국유체기계학회 학술대회 논문집
2021 .07
시스템즈 엔지니어링 기법을 이용한 원자력 발전소 소내 전력계통 설계
대한전기학회 학술대회 논문집
2015 .07
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구
정보과학회 컴퓨팅의 실제 논문지
2016 .03
불규칙 오류 수정에 대한 통계적 확인방법
대한전기학회 학술대회 논문집
2016 .07
인스웨이브 시스템즈 : INSTAY DESIGN
월간 데코 DECO
2024 .10
인공지능을 활용한 3D 프린팅 오류 탐지 알고리즘에 관한 연구
한국통신학회 학술대회논문집
2025 .02
0