TY -
GEN
AU - Gesellschaft für Informatik
AU - Informationstechnische Gesellschaft
AU - Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik
AU - MBMV 19. 2016 Freiburg im Breisgau
AU - Wimmer, Ralf
TI -
MBMV 2016
19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.–2. März 2016
PB - Albert-Ludwigs-Universität
SN - 9783000523809
KW - Konferenzschrift
KW - Online-Ressource
KW - Verifikation
KW - Mathematische Modellierung
KW - Schaltung
KW - System
PY - 2016
CY - Freiburg im Breisgau
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -