Konferenzschrift

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783844049961
3844049967
Maße
21 cm, 204 g
Umfang
III, 129 Seiten
Ausgabe
[1. Auflage]
Anmerkungen
Illustrationen

Klassifikation
Elektrotechnik, Elektronik
Schlagwort
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Shaker Verlag
(wann)
2017
Beteiligte Personen und Organisationen

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

Datenpartner

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

Objekttyp

  • Konferenzschrift

Beteiligte

Entstanden

  • 2017

Ähnliche Objekte (12)

Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen

Hochschulschrift

Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen

Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung

Hochschulschrift

Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung

Entwicklung einer Methode zur hydraulischen, betriebsdatenbasierenden Modellierung von Vertikalbrunnen in der Wassergewinnung

Hochschulschrift

Entwicklung einer Methode zur hydraulischen, betriebsdatenbasierenden Modellierung von Vertikalbrunnen in der Wassergewinnung

Modellierung der Materialströmung auf gleichläufigen Doppelschneckenextrudern mit Hilfe der Performance Mapping Methode

Hochschulschrift

Modellierung der Materialströmung auf gleichläufigen Doppelschneckenextrudern mit Hilfe der Performance Mapping Methode

Flächennutzungsmonitoring, 5.. Methoden - Analyseergebnisse - Flächenmanagement

Flächennutzungsmonitoring, 5.. Methoden - Analyseergebnisse - Flächenmanagement

Grundlagen der Elektronik : Halbleiter, Bauelemente und Schaltungen

Grundlagen der Elektronik : Halbleiter, Bauelemente und Schaltungen

Modellierung des Glasfaserlängenabbaus

Hochschulschrift

Modellierung des Glasfaserlängenabbaus

Modellierung der Carbonfaserlängenverkürzung

Hochschulschrift

Modellierung der Carbonfaserlängenverkürzung

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

Verbundene Objekte