Hochschulschrift
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183295104
3183295105
- Maße
-
21 cm
- Umfang
-
VI, 139 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Braunschweig, Techn. Univ., Diss.
- Erschienen in
-
Fortschritt-Berichte VDI / 10 / Verein Deutscher Ingenieure ; Nr. 295, Reihe 10
- Schlagwort
-
Objekt
Verifikation
Formale Sprache
Spezifikationssprache
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.06.2023, 22:16 MESZ
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
- Conrad, Stefan
- VDI-Verl.
Entstanden
- 1994
Ähnliche Objekte (12)
Regelung von Synchron-Linearmotoren für hochgenaue Vorschubantriebe bei Werkzeugmaschinen
Ansätze zur formalen Verifikation analoger Schaltungen
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
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
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
Regelung von Synchron-Linearmotoren für hochgenaue Vorschubantriebe bei Werkzeugmaschinen
Ansätze zur formalen Verifikation analoger Schaltungen
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
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
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
Regelung von Synchron-Linearmotoren für hochgenaue Vorschubantriebe bei Werkzeugmaschinen
Ansätze zur formalen Verifikation analoger Schaltungen
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
Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
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