Konferenzschrift | Kongress 2007

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783832259563
3832259562

Maße: 21 cm, 419 gr.

Umfang: 273 S.

Sprache: Deutsch

Anmerkungen: Ill., graph. Darst.
Literaturangaben

Klassifikation: Elektrotechnik, Elektronik

Schlagwort: Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation

Ereignis: Veröffentlichung

(wo): Aachen

(wer): Shaker

(wann): 2007

Beteiligte Personen und Organisationen: Haubelt, Christian

Inhaltsverzeichnis: https://d-nb.info/983353425/04

Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Letzte Aktualisierung: 11.06.2025, 14:29 MESZ

Datenpartner

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

Objekttyp

Konferenzschrift
Kongress 2007

Beteiligte

Haubelt, Christian
Shaker

Entstanden

2007

Ähnliche Objekte (12)

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

Konferenzschrift | Kongress 2002

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Hochschulschrift

Verifikation digitaler Schaltungen mittels symbolischer Simulation

Konferenzschrift | Kongress 2008

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : [Freiburg im Breisgau, 03. - 05. März 2008]

Hochschulschrift

Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation

Konferenzschrift | Kongress

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]

Hochschulschrift

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

Hochschulschrift

Formale Verifikation von MOS-Transistorschaltungen

Hochschulschrift

Entwurf und Verifikation von Ablaufsteuerungen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift

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

Konferenzschrift | Kongress 2002

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Hochschulschrift

Verifikation digitaler Schaltungen mittels symbolischer Simulation

Konferenzschrift | Kongress 2008

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : [Freiburg im Breisgau, 03. - 05. März 2008]

Hochschulschrift

Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation

Konferenzschrift | Kongress

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]

Hochschulschrift

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

Hochschulschrift

Formale Verifikation von MOS-Transistorschaltungen

Hochschulschrift

Entwurf und Verifikation von Ablaufsteuerungen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift

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

Konferenzschrift | Kongress 2002

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Hochschulschrift

Verifikation digitaler Schaltungen mittels symbolischer Simulation

Konferenzschrift | Kongress 2008

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : [Freiburg im Breisgau, 03. - 05. März 2008]

Hochschulschrift

Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation

Konferenzschrift | Kongress

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]

Hochschulschrift

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

Hochschulschrift

Formale Verifikation von MOS-Transistorschaltungen

Hochschulschrift

Entwurf und Verifikation von Ablaufsteuerungen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Konferenzschrift

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Angaben zum Objekt

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Objekttyp

Beteiligte

Entstanden

Ähnliche Objekte (12)

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

Verifikation digitaler Schaltungen mittels symbolischer Simulation

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : [Freiburg im Breisgau, 03. - 05. März 2008]

Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

Formale Verifikation von MOS-Transistorschaltungen

Entwurf und Verifikation von Ablaufsteuerungen

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

Verifikation digitaler Schaltungen mittels symbolischer Simulation

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : [Freiburg im Breisgau, 03. - 05. März 2008]

Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

Formale Verifikation von MOS-Transistorschaltungen

Entwurf und Verifikation von Ablaufsteuerungen

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

Verifikation digitaler Schaltungen mittels symbolischer Simulation

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : [Freiburg im Breisgau, 03. - 05. März 2008]

Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

Formale Verifikation von MOS-Transistorschaltungen

Entwurf und Verifikation von Ablaufsteuerungen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Verbundene Objekte

Passwort zurücksetzen