Hochschulschrift
A linear scaling change impact analysis based on a formal safety model for automotive embedded systems
- Alternative title
-
Entwurf einer linear skalierenden Änderungsmanagement-Technik basierend auf einem formalen Sicherheitsmodell für Automobilsysteme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Oldenburg, Universität Oldenburg, Dissertation, 2016
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Oldenburg
- (who)
-
BIS der Universität Oldenburg
- (when)
-
2016
- Creator
-
Oertel, Markus
- Contributor
-
Rettberg, Achim
Josko, Bernhard
Götz, Marcelo
- URN
-
urn:nbn:de:gbv:715-oops-29565
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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
- Oertel, Markus
- Rettberg, Achim
- Josko, Bernhard
- Götz, Marcelo
- BIS der Universität Oldenburg
Time of origin
- 2016
Other Objects (12)
Model driven design for automotive safety embedded systems (MODEASY)
Automotive Cybersecurity : Security-Bausteine für Automotive Embedded Systeme
Zuverlässigkeit von automotive embedded Systems
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
A harden Embedded Linux: Automotive Grade Linux (AGL)
Design patterns for safety-critical embedded systems
Empirical evaluations of safety-critical embedded systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Automotive Embedded Systeme : effizientes Framework ; vom Design zur Implementierung
New Formal Methods for Automotive Configuration
Cooperative Memory Management in Safety-Critical Embedded Systems
Model driven design for automotive safety embedded systems (MODEASY)
Automotive Cybersecurity : Security-Bausteine für Automotive Embedded Systeme
Zuverlässigkeit von automotive embedded Systems
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
A harden Embedded Linux: Automotive Grade Linux (AGL)
Design patterns for safety-critical embedded systems
Empirical evaluations of safety-critical embedded systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Automotive Embedded Systeme : effizientes Framework ; vom Design zur Implementierung
New Formal Methods for Automotive Configuration
Cooperative Memory Management in Safety-Critical Embedded Systems
Model driven design for automotive safety embedded systems (MODEASY)
Automotive Cybersecurity : Security-Bausteine für Automotive Embedded Systeme
Zuverlässigkeit von automotive embedded Systems
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
A harden Embedded Linux: Automotive Grade Linux (AGL)
Design patterns for safety-critical embedded systems
Empirical evaluations of safety-critical embedded systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Automotive Embedded Systeme : effizientes Framework ; vom Design zur Implementierung
New Formal Methods for Automotive Configuration