우선순위 기반 멀티태스크 프로그램의 API 호출 안전성 검증을 위한 모델 기반 오경보 식별 기법

Research output: Contribution to journalArticlepeer-review

Original languageKorean
Journal정보과학회논문지
StatePublished - 2019

Cite this