Hochschulschrift
Mixed signal circuit verification using symbolic model checking techniques
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899638417
- Maße
-
21 cm, 351 gr.
- Umfang
-
XXVI, 202 S.
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Frankfurt (Main), Univ., Diss., 2008
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Mixed-Signal-Schaltung
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Verl. Dr. Hut
- (wann)
-
2008
- Urheber
-
Jesser, Alexander
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
2025-06-11T14:21:51+0200
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Jesser, Alexander
- Verl. Dr. Hut
Entstanden
- 2008
Ähnliche Objekte (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
Numerische Untersuchung und Modellierung von Wandinteraktionen in Zweiphasenströmungen
Dynamic thermal modeling for moving objects on the moon
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Transdisziplinäre Planung und Synchronisation mechatronischer Produktentwicklungsprozesse
PORTNEUF - a framework for continuous user involvement
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
Numerische Untersuchung und Modellierung von Wandinteraktionen in Zweiphasenströmungen
Dynamic thermal modeling for moving objects on the moon
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Transdisziplinäre Planung und Synchronisation mechatronischer Produktentwicklungsprozesse
PORTNEUF - a framework for continuous user involvement
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
Numerische Untersuchung und Modellierung von Wandinteraktionen in Zweiphasenströmungen
Dynamic thermal modeling for moving objects on the moon
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Transdisziplinäre Planung und Synchronisation mechatronischer Produktentwicklungsprozesse