- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Univ., Diss., 2003
- Klassifikation
-
Informatik
- Schlagwort
-
Parametrisiertes System
Verifikation
Entscheidbarkeit
Model Checking
Lebendigkeit
Abstraktion
- Urheber
- URN
-
urn:nbn:de:gbv:8-diss-8122
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:28 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
Ähnliche Objekte (12)
Exploring the limits of parameterized system verification
Grübchentragfähigkeit einsatzgehärteter Gerad- und Schrägverzahnungen unter besonderer Berücksichtigung der Pressungsverteilung
Single vs. multi-cone synchronizers with carbon friction lining—a comparison of load limits and deterioration behavior
Zum Einfluss der Härtbarkeit auf die Zahnfußtragfähigkeit einsatzgehärteter Stirnräder größerer Baugröße
Hypoid-Läppsimulation
An efficient way to calculate contact pattern movement coefficients
Definition of a coefficient to evaluate a moving contact pattern in planetary gearboxes
Thermal Behavior of Wet Clutches in Industrial Applications
Topologische Flankenkorrektur zur Anregungsoptimierung von Stirnradgetrieben : Entwicklung und Überprüfung von Auslegungsmethoden zur Ableitung anregungsoptimierter Flankenkorrekturen von Stirnradgetrieben unter Berücksichtigung der Fertigbarkeit und Flankentragfähigkeit
Schadensentwicklung und Tragfähigkeit carbonitrierter Kegelradverzahnungen : Untersuchung der Tragfähigkeit von carbonitrierten Kegelrad- und Hypoidverzahnungen
Running-In Behavior of Wet Multi-plate Clutches: Introduction of a New Test Method for Investigation and Characterization
Methodik zur Untersuchung des Reibungsverhaltens nasslaufender Lamellenkupplungen bei Langsamlauf- und Mikroschlupf
Exploring the limits of parameterized system verification
Grübchentragfähigkeit einsatzgehärteter Gerad- und Schrägverzahnungen unter besonderer Berücksichtigung der Pressungsverteilung
Single vs. multi-cone synchronizers with carbon friction lining—a comparison of load limits and deterioration behavior
Zum Einfluss der Härtbarkeit auf die Zahnfußtragfähigkeit einsatzgehärteter Stirnräder größerer Baugröße
Hypoid-Läppsimulation
An efficient way to calculate contact pattern movement coefficients
Definition of a coefficient to evaluate a moving contact pattern in planetary gearboxes
Thermal Behavior of Wet Clutches in Industrial Applications
Topologische Flankenkorrektur zur Anregungsoptimierung von Stirnradgetrieben : Entwicklung und Überprüfung von Auslegungsmethoden zur Ableitung anregungsoptimierter Flankenkorrekturen von Stirnradgetrieben unter Berücksichtigung der Fertigbarkeit und Flankentragfähigkeit
Schadensentwicklung und Tragfähigkeit carbonitrierter Kegelradverzahnungen : Untersuchung der Tragfähigkeit von carbonitrierten Kegelrad- und Hypoidverzahnungen
Running-In Behavior of Wet Multi-plate Clutches: Introduction of a New Test Method for Investigation and Characterization
Methodik zur Untersuchung des Reibungsverhaltens nasslaufender Lamellenkupplungen bei Langsamlauf- und Mikroschlupf
Exploring the limits of parameterized system verification
Grübchentragfähigkeit einsatzgehärteter Gerad- und Schrägverzahnungen unter besonderer Berücksichtigung der Pressungsverteilung
Single vs. multi-cone synchronizers with carbon friction lining—a comparison of load limits and deterioration behavior
Zum Einfluss der Härtbarkeit auf die Zahnfußtragfähigkeit einsatzgehärteter Stirnräder größerer Baugröße
Hypoid-Läppsimulation
An efficient way to calculate contact pattern movement coefficients
Definition of a coefficient to evaluate a moving contact pattern in planetary gearboxes
Thermal Behavior of Wet Clutches in Industrial Applications
Topologische Flankenkorrektur zur Anregungsoptimierung von Stirnradgetrieben : Entwicklung und Überprüfung von Auslegungsmethoden zur Ableitung anregungsoptimierter Flankenkorrekturen von Stirnradgetrieben unter Berücksichtigung der Fertigbarkeit und Flankentragfähigkeit
Schadensentwicklung und Tragfähigkeit carbonitrierter Kegelradverzahnungen : Untersuchung der Tragfähigkeit von carbonitrierten Kegelrad- und Hypoidverzahnungen
Running-In Behavior of Wet Multi-plate Clutches: Introduction of a New Test Method for Investigation and Characterization