Computer Science Department University of Münster Einsteinstr. 62 48149 Münster Germany

  1. Home
  2. search page
  3. affiliation

Computer Science Department University of Münster Einsteinstr. 62 48149 Münster Germany

국가: Germany
주요 연구 분야: Verification
주요 키워드: #security #efficient #internet
주요 저자:
#Jonas Becker-Kupczok #Paula Herber

📄 기관 상세정보

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

논문 목록 (1건)

Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
저자: Jonas Becker-Kupczok , Paula Herber
키워드: #security #efficient #internet #cars #confidentiality
파트: Verification | 연도: 2024