Konferenzschrift

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783954046379
Maße
21 cm
Umfang
220 S.
Ausgabe
1. Aufl.
Anmerkungen
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben

Klassifikation
Elektrotechnik, Elektronik
Schlagwort
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation

Ereignis
Veröffentlichung
(wo)
Göttingen
(wer)
Cuvillier
(wann)
2014
Beteiligte Personen und Organisationen
Ruf, Jürgen
Allmendinger, Dirk
Michel, Matteo
MBMV (17 : 2014 : Böblingen)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:34 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift

Beteiligte

  • Ruf, Jürgen
  • Allmendinger, Dirk
  • Michel, Matteo
  • MBMV (17 : 2014 : Böblingen)
  • Cuvillier

Entstanden

  • 2014

Ähnliche Objekte (12)

Petri-Netz-basierte Verifikation von funktionalen Testfällen

Hochschulschrift

Petri-Netz-basierte Verifikation von funktionalen Testfällen

Effiziente Hochfrequenzerzeugung mit Resonanztunneldioden : Komponenten, Schaltungen, Integrationskonzepte

Hochschulschrift

Effiziente Hochfrequenzerzeugung mit Resonanztunneldioden : Komponenten, Schaltungen, Integrationskonzepte

Netzwerkorientierte Modellierung und Simulation elektrischer Verbindungsstrukturen mit der Methode der partiellen Elemente

Hochschulschrift

Netzwerkorientierte Modellierung und Simulation elektrischer Verbindungsstrukturen mit der Methode der partiellen Elemente

Untersuchungen der Kontakteigenschaften beim Testen von integrierten Schaltungen

Hochschulschrift

Untersuchungen der Kontakteigenschaften beim Testen von integrierten Schaltungen

Entwurfsverfahren für asynchrone Schaltungen unter Verwendung von Standardsoftware

Hochschulschrift

Entwurfsverfahren für asynchrone Schaltungen unter Verwendung von Standardsoftware

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift | Kongress 2002

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

Konferenzschrift | Kongress 2007

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift | Kongress 2002

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Verbundene Objekte