- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kiel, Univ., Diss., 2003
- Classification
-
Informatik
- Keyword
-
Parametrisiertes System
Verifikation
Entscheidbarkeit
Model Checking
Lebendigkeit
Abstraktion
- Creator
- URN
-
urn:nbn:de:gbv:8-diss-8122
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:28 AM 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
Other Objects (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
Hypoid-Läppsimulation
Zum Einfluss der Härtbarkeit auf die Zahnfußtragfähigkeit einsatzgehärteter Stirnräder größerer Baugröße
Definition of a coefficient to evaluate a moving contact pattern in planetary gearboxes
An efficient way to calculate contact pattern movement coefficients
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
Anregungs- und Schwingungsverhalten von Planetengetrieben
Performance Optimisation of a Coupled Cone and Dog Clutch for Automotive Application
Anregungsverhalten doppelschrägverzahnter Planetenradgetriebe : Einfluss des Apex-Punktes
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
Hypoid-Läppsimulation
Zum Einfluss der Härtbarkeit auf die Zahnfußtragfähigkeit einsatzgehärteter Stirnräder größerer Baugröße
Definition of a coefficient to evaluate a moving contact pattern in planetary gearboxes
An efficient way to calculate contact pattern movement coefficients
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
Anregungs- und Schwingungsverhalten von Planetengetrieben
Performance Optimisation of a Coupled Cone and Dog Clutch for Automotive Application
Anregungsverhalten doppelschrägverzahnter Planetenradgetriebe : Einfluss des Apex-Punktes
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
Hypoid-Läppsimulation
Zum Einfluss der Härtbarkeit auf die Zahnfußtragfähigkeit einsatzgehärteter Stirnräder größerer Baugröße
Definition of a coefficient to evaluate a moving contact pattern in planetary gearboxes
An efficient way to calculate contact pattern movement coefficients
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
Anregungs- und Schwingungsverhalten von Planetengetrieben
Performance Optimisation of a Coupled Cone and Dog Clutch for Automotive Application
Anregungsverhalten doppelschrägverzahnter Planetenradgetriebe : Einfluss des Apex-Punktes