Hochschulschrift
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897223608
3897223600
- Dimensions
-
21 cm
- Extent
-
IV, 190 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 2000
- Keyword
-
Digitalschaltung
Logiksynthese
Formale Spezifikationstechnik
Hardwarebeschreibungssprache
HOL
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2000
- Creator
-
Blumenröhr, Christian
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:25 PM CET
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
- Hochschulschrift
Associated
- Blumenröhr, Christian
- Logos-Verl.
Time of origin
- 2000
Other Objects (12)
Hochpräzise "Switched-current"-Schaltungen
D-modules: local formal convolution of elementary formal meromorphic connections
Ein Kalkül für die formale Schaltungssynthese
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Verfahren zur Beschreibung von Simulations- und Charakterisierungsabläufen für gemischt digital-analoge Schaltungen
Leistungseffiziente analog-digitale integrierte Schaltungen zur Aufnahme und Verarbeitung von biomedizinischen Signalen
Formal software development using generic development steps
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Automatisierte Partitionierung von Mixed-Signal Schaltungen für die Realisierung von Systems-in-Package
Selektive Synthesen mit Acylnitrenen
Hochpräzise "Switched-current"-Schaltungen
D-modules: local formal convolution of elementary formal meromorphic connections
Ein Kalkül für die formale Schaltungssynthese
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Verfahren zur Beschreibung von Simulations- und Charakterisierungsabläufen für gemischt digital-analoge Schaltungen
Leistungseffiziente analog-digitale integrierte Schaltungen zur Aufnahme und Verarbeitung von biomedizinischen Signalen
Formal software development using generic development steps
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Automatisierte Partitionierung von Mixed-Signal Schaltungen für die Realisierung von Systems-in-Package
Selektive Synthesen mit Acylnitrenen
Hochpräzise "Switched-current"-Schaltungen
D-modules: local formal convolution of elementary formal meromorphic connections
Ein Kalkül für die formale Schaltungssynthese
Formale Methoden zur Konstruktion eingebetteter Software
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Verfahren zur Beschreibung von Simulations- und Charakterisierungsabläufen für gemischt digital-analoge Schaltungen
Leistungseffiziente analog-digitale integrierte Schaltungen zur Aufnahme und Verarbeitung von biomedizinischen Signalen
Formal software development using generic development steps
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Automatisierte Partitionierung von Mixed-Signal Schaltungen für die Realisierung von Systems-in-Package