English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Information
Publications
Export
Statistics
Options
Title
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Titel Supplements
Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen
Hrsg
Allmendinger, Dirk
Michel, Matteo
Verlag
Cuvillier
Verlagsort
Göttingen
Datum
2014
Konferenz
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2014