Hochschulschrift
Mixed signal circuit verification using symbolic model checking techniques
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899638417
- Dimensions
-
21 cm, 351 gr.
- Extent
-
XXVI, 202 S.
- Edition
-
1. Aufl.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: Frankfurt (Main), Univ., Diss., 2008
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Mixed-Signal-Schaltung
Model Checking
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Verl. Dr. Hut
- (when)
-
2008
- Creator
-
Jesser, Alexander
- 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, 2:21 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
- Hochschulschrift
Associated
- Jesser, Alexander
- Verl. Dr. Hut
Time of origin
- 2008
Other Objects (12)
Analog circuit design approaches
Ground verification of telepresence for on-orbit servicing
Integrating formal verification into the model-based development of adaptive embedded systems
A symbolic model checking approach in formal verification of distributed systems
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Adaptive Entzerrung und Takt- und Datenrückgewinnung unter Verwendung eines Augenöffnungsmonitors in einer integrierten CMOS-Empfängerschaltung für die leitungsgebundene Chip-to-Chip-Kommunikation bei 10 Gbit/s
Entwicklung neuer stereo- und chemoselektiver Methoden zur Synthese von polyketiden Verbindungen, Heterozyklen und Aziden
About the interplay of NMR spectroscopy and molecular modeling within bioorganic and medicinal chemistry
HPLC-MS-, MS-Analyse von Immunsuppressiva direkt in Vollblut
NMR-spektroskopische Untersuchungen von Wasserstoffbrückennetzwerken in Argininkomplexen und Rotaxanen
Entwicklung eines axial-chiralen molekularen Schalters
Analog circuit design approaches
Ground verification of telepresence for on-orbit servicing
Integrating formal verification into the model-based development of adaptive embedded systems
A symbolic model checking approach in formal verification of distributed systems
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Adaptive Entzerrung und Takt- und Datenrückgewinnung unter Verwendung eines Augenöffnungsmonitors in einer integrierten CMOS-Empfängerschaltung für die leitungsgebundene Chip-to-Chip-Kommunikation bei 10 Gbit/s
Entwicklung neuer stereo- und chemoselektiver Methoden zur Synthese von polyketiden Verbindungen, Heterozyklen und Aziden
About the interplay of NMR spectroscopy and molecular modeling within bioorganic and medicinal chemistry
HPLC-MS-, MS-Analyse von Immunsuppressiva direkt in Vollblut
NMR-spektroskopische Untersuchungen von Wasserstoffbrückennetzwerken in Argininkomplexen und Rotaxanen
Entwicklung eines axial-chiralen molekularen Schalters
Analog circuit design approaches
Ground verification of telepresence for on-orbit servicing
Integrating formal verification into the model-based development of adaptive embedded systems
A symbolic model checking approach in formal verification of distributed systems
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Adaptive Entzerrung und Takt- und Datenrückgewinnung unter Verwendung eines Augenöffnungsmonitors in einer integrierten CMOS-Empfängerschaltung für die leitungsgebundene Chip-to-Chip-Kommunikation bei 10 Gbit/s
Entwicklung neuer stereo- und chemoselektiver Methoden zur Synthese von polyketiden Verbindungen, Heterozyklen und Aziden
About the interplay of NMR spectroscopy and molecular modeling within bioorganic and medicinal chemistry
HPLC-MS-, MS-Analyse von Immunsuppressiva direkt in Vollblut
NMR-spektroskopische Untersuchungen von Wasserstoffbrückennetzwerken in Argininkomplexen und Rotaxanen