차량전장용 운영체제 검증사례를 동한 소프트웨어 안전성 검증 기법 소개

Research output: Contribution to journalArticlepeer-review

Original languageKorean
Journal정보처리학회지
StatePublished - 2014

Cite this