Konferenzschrift
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783954046379
- Dimensions
-
21 cm
- Extent
-
220 S.
- Edition
-
1. Aufl.
- Notes
-
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Göttingen
- (who)
-
Cuvillier
- (when)
-
2014
- Contributor
-
Ruf, Jürgen
Allmendinger, Dirk
Michel, Matteo
MBMV (17 : 2014 : Böblingen)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:34 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- Ruf, Jürgen
- Allmendinger, Dirk
- Michel, Matteo
- MBMV (17 : 2014 : Böblingen)
- Cuvillier
Time of origin
- 2014
Other Objects (12)
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Netzwerkorientierte Modellierung und Simulation elektrischer Verbindungsstrukturen mit der Methode der partiellen Elemente
Effiziente Hochfrequenzerzeugung mit Resonanztunneldioden : Komponenten, Schaltungen, Integrationskonzepte
Untersuchungen der Kontakteigenschaften beim Testen von integrierten Schaltungen
Entwurfsverfahren für asynchrone Schaltungen unter Verwendung von Standardsoftware
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Netzwerkorientierte Modellierung und Simulation elektrischer Verbindungsstrukturen mit der Methode der partiellen Elemente
Effiziente Hochfrequenzerzeugung mit Resonanztunneldioden : Komponenten, Schaltungen, Integrationskonzepte
Untersuchungen der Kontakteigenschaften beim Testen von integrierten Schaltungen
Entwurfsverfahren für asynchrone Schaltungen unter Verwendung von Standardsoftware
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Netzwerkorientierte Modellierung und Simulation elektrischer Verbindungsstrukturen mit der Methode der partiellen Elemente
Effiziente Hochfrequenzerzeugung mit Resonanztunneldioden : Komponenten, Schaltungen, Integrationskonzepte
Untersuchungen der Kontakteigenschaften beim Testen von integrierten Schaltungen
Entwurfsverfahren für asynchrone Schaltungen unter Verwendung von Standardsoftware
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen