Original language | Korean |
---|---|
Journal | 정보처리학회논문지. 소프트웨어 및 데이터 공학 |
State | Published - 2017 |
자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Original language | Korean |
---|---|
Journal | 정보처리학회논문지. 소프트웨어 및 데이터 공학 |
State | Published - 2017 |