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, MBMV 2012
Information
Publications
Export
Statistics
Options
Title
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2012
Titel Supplements
15. MBMV Workshop, Kaiserslautern, 05.-07. März 2012
Hrsg
Brandt, Jens
Schneider, Klaus
Verlag
Kovac
Verlagsort
Hamburg
Datum
2012
Serie
Forschungsergebnisse zur Informatik; 68
ISSN
1435-6260
Konferenz
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2012