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
Information
Publications
Export
Statistics
Options
Title
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI-ITG-GMM Workshop
Institut
Gesellschaft für Informatik -GI-, Bonn
Informationstechnische Gesellschaft -ITG-
VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-
Verlag
HNI
Verlagsort
Paderborn
Datum
1998
Serie
HNI-Verlagsschriftenreihe
Konferenz
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 1998