German Aerospace Center (DLR) Jena Thuringia Germany


국가: Germany

주요 연구 분야: Verification


주요 저자:

📄 기관 상세정보

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

논문 목록 (1건)


Accurate Architectural Threat Elicitation From Source Code Through Hybrid Information Flow Analysis
키워드: #doctoral #threats #crashes #reconstructing #overapproximation
파트: Verification | 연도: 2024