자동차 안전성을 위한 소프트웨어 FMEA 가이드라인
최준열(Junyeol Choi), 김용길(Yongkil Kim), 조준형(Joonhyung Cho), 최윤자(Yunja Choi)
Published in 멀티미디어학회논문지 (2018)
Published in 멀티미디어학회논문지 (2018)
Get full text
Journal Article
온라인 게임 서버의 파티 시스템 검증을 위한 스핀 모델 체커 적용에 관한 연구
김광훈, 최윤자, Kim, Goanghun, Choi, Yunja
Published in 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 (01.11.2015)
Published in 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 (01.11.2015)
Get full text
Journal Article
자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용
최준열, Jun Yeol Choi, 조준형, Joon Hyung Cho, 최윤자, Yun Ja Choi
Published in 정보처리학회 논문지 (KTSDE) (30.04.2017)
Published in 정보처리학회 논문지 (KTSDE) (30.04.2017)
Get full text
Journal Article
소프트웨어 공학 : 모델기반 컴포넌트 개발방법론의 지원을 위한 추상컴포넌트 자동 추출기법
윤상권, Sang Kwon Yun, 박민규, Park Min Gyu, 최윤자, Choi Yun Ja
Published in 정보처리학회 논문지 (KTSDE) (30.08.2013)
Get full text
Published in 정보처리학회 논문지 (KTSDE) (30.08.2013)
Journal Article
모델기반 컴포넌트 개발방법론의 지원을 위한 추상컴포넌트 자동 추출기법
윤상권, 박민규, 최윤자, Yun, Sang Kwon, Park, Min Gyu, Choi, Yunja
Published in 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 (01.08.2013)
Published in 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 (01.08.2013)
Get full text
Journal Article