Login / Signup
Benedikt Geukes
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Lower Level
Modular Design
Artificial Neural Networks
Top Venues
MBMV
</>
Publications
</>
Matteo Michel
,
Johannes Koesters
,
Benedikt Geukes
Modulare Verifikation von Non-Mainline Chip-Level Funktionen.
MBMV
(2015)