Computer Science Department ETH Zurich Zurich Switzerland


국가: Ethiopia

주요 연구 분야: Verification


주요 저자:

📄 기관 상세정보

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

논문 목록 (1건)


Determining an Economic Value of High Assurance for Commodity Software Security (Transcript of Discussion)
키워드: #security #economic #software #value #commodity
파트: Verification | 연도: 2023