📄 기관 상세정보

출판수2
총 인용수87
평균 인용수43.50
저자 수10
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (2건)


Security of Hardware Generators: Enabling Assurance in High-Level Synthesis
키워드: #optimization #automation #increasing #advanced #microelectronics
파트: Verification | 연도: 2023
FirVer: Concolic Testing for Systematic Validation of Firmware Binaries
키워드: #hardware #library #intel #prototyping #firmware
파트: Analysis | 연도: 2022