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. GI-ITG-GMM Workshop. Tagungsband
Information
Publications
Export
Statistics
Options
Title
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI-ITG-GMM Workshop. Tagungsband
Institut
Gesellschaft für Informatik -GI-, Bonn
Informationstechnische Gesellschaft -ITG-
VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-
Verlag
Shaker
Verlagsort
Aachen
Datum
1999
ISBN
3-8265-4684-9
Konferenz
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen<1999, Braunschweig> 1999