Original language | Korean |
---|---|
Journal | 정보처리학회지 |
State | Published - 2014 |
차량전장용 운영체제 검증사례를 동한 소프트웨어 안전성 검증 기법 소개
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Original language | Korean |
---|---|
Journal | 정보처리학회지 |
State | Published - 2014 |