Hochschulschrift
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183295104
3183295105
- Dimensions
-
21 cm
- Extent
-
VI, 139 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Braunschweig, Techn. Univ., Diss.
- Bibliographic citation
-
Fortschritt-Berichte VDI / 10 / Verein Deutscher Ingenieure ; Nr. 295, Reihe 10
- Keyword
-
Objekt
Verifikation
Formale Sprache
Spezifikationssprache
- 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:16 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
- Conrad, Stefan
- VDI-Verl.
Time of origin
- 1994
Other Objects (12)
Ansätze zur formalen Verifikation analoger Schaltungen
Regelung von Synchron-Linearmotoren für hochgenaue Vorschubantriebe bei Werkzeugmaschinen
Zur parallelen Verifikation des Layouts von Submikrometerschaltungen
Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Verifikation der Landnutzung durch Ähnlichkeitsanalyse der Landbedeckung gleicher Geodatenobjekte
Mechanismenorientierte Lebensdauervorhersage unter Berücksichtigung der Mikrostruktur : Modellentwicklung, Verifikation und Anwendung
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
Experimentelle Mechanismendynamik : Messung, Modellierung, Simulation, Verifikation, Interpretation und Beeinflussung typischer Schwingungsphänomene an einem Mechanismenprüfstand
Nutzstäube : Herstellung, Eigenschaften, Verwendung. Vorträge d. VDI-Tagung Hamburg 1957
Ansätze zur formalen Verifikation analoger Schaltungen
Regelung von Synchron-Linearmotoren für hochgenaue Vorschubantriebe bei Werkzeugmaschinen
Zur parallelen Verifikation des Layouts von Submikrometerschaltungen
Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Verifikation der Landnutzung durch Ähnlichkeitsanalyse der Landbedeckung gleicher Geodatenobjekte
Mechanismenorientierte Lebensdauervorhersage unter Berücksichtigung der Mikrostruktur : Modellentwicklung, Verifikation und Anwendung
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
Experimentelle Mechanismendynamik : Messung, Modellierung, Simulation, Verifikation, Interpretation und Beeinflussung typischer Schwingungsphänomene an einem Mechanismenprüfstand
Nutzstäube : Herstellung, Eigenschaften, Verwendung. Vorträge d. VDI-Tagung Hamburg 1957
Ansätze zur formalen Verifikation analoger Schaltungen
Regelung von Synchron-Linearmotoren für hochgenaue Vorschubantriebe bei Werkzeugmaschinen
Zur parallelen Verifikation des Layouts von Submikrometerschaltungen
Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Verifikation der Landnutzung durch Ähnlichkeitsanalyse der Landbedeckung gleicher Geodatenobjekte
Mechanismenorientierte Lebensdauervorhersage unter Berücksichtigung der Mikrostruktur : Modellentwicklung, Verifikation und Anwendung
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
Experimentelle Mechanismendynamik : Messung, Modellierung, Simulation, Verifikation, Interpretation und Beeinflussung typischer Schwingungsphänomene an einem Mechanismenprüfstand