Institute of Computer Science University of Bremen Bremen Germany and Cyber-Physical Systems DFKI GmbH Bremen Germany

  1. Home
  2. search page
  3. affiliation

Institute of Computer Science University of Bremen Bremen Germany and Cyber-Physical Systems DFKI GmbH Bremen Germany

국가: Andorra
주요 연구 분야: Verification
주요 키워드: #experiments #software #testing
주요 저자:
#R. Drechsler #Vladimir Herdt #Sören Tempel

📄 기관 상세정보

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

논문 목록 (1건)

Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
저자: R. Drechsler , Vladimir Herdt , Sören Tempel
키워드: #experiments #software #testing #searching #programming
파트: Verification | 연도: 2022