(1 - 14 von 14
)
MBMV 2017
www.informatik.uni-bremen.de
Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” ... Andreas Grimmer, Werner Haselmayr, Andreas Springer and Robert Wille Verifikation von Networked Labs-on-Chip Architekturen Saman Fröhlich, Daniel Große and Rolf Drechsler
Conference Program | Design Automation Conference
www2.dac.com
Werner Haselmayr - Johannes Kepler Univ. Linz, Austria Andreas Springer - Johannes Kepler Univ. Linz, Austria Robert Wille - Johannes Kepler Univ. Linz ...
sortiert nach Relevanz / Datum