Konferenzschrift
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844049961
3844049967
- Dimensions
-
21 cm, 204 g
- Extent
-
III, 129 Seiten
- Edition
-
[1. Auflage]
- Notes
-
Illustrationen
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker Verlag
- (when)
-
2017
- Contributor
- 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:55 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
- Große, Daniel
- Drechsler, Rolf
- Shaker Verlag
- Shaker Verlag
Time of origin
- 2017
Other Objects (12)
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Grundlagen der Elektronik : Halbleiter, Bauelemente und Schaltungen
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
Flächennutzungsmonitoring, 5.. Methoden - Analyseergebnisse - Flächenmanagement
Entwurf von mikroelektronischen Schaltungen für invasive Gehirn-Computer-Schnittstellen
Modellierung des Glasfaserlängenabbaus
Modellierung der Carbonfaserlängenverkürzung
Eindimensionale Modellierung pneumatischer Netzwerkkomponenten
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Grundlagen der Elektronik : Halbleiter, Bauelemente und Schaltungen
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
Flächennutzungsmonitoring, 5.. Methoden - Analyseergebnisse - Flächenmanagement
Entwurf von mikroelektronischen Schaltungen für invasive Gehirn-Computer-Schnittstellen
Modellierung des Glasfaserlängenabbaus
Modellierung der Carbonfaserlängenverkürzung
Eindimensionale Modellierung pneumatischer Netzwerkkomponenten
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Grundlagen der Elektronik : Halbleiter, Bauelemente und Schaltungen
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
Flächennutzungsmonitoring, 5.. Methoden - Analyseergebnisse - Flächenmanagement
Entwurf von mikroelektronischen Schaltungen für invasive Gehirn-Computer-Schnittstellen
Modellierung des Glasfaserlängenabbaus
Modellierung der Carbonfaserlängenverkürzung
Eindimensionale Modellierung pneumatischer Netzwerkkomponenten
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen