Hochschulschrift
A linear scaling change impact analysis based on a formal safety model for automotive embedded systems
- Weitere Titel
-
Entwurf einer linear skalierenden Änderungsmanagement-Technik basierend auf einem formalen Sicherheitsmodell für Automobilsysteme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2016
- Urheber
-
Oertel, Markus
- Beteiligte Personen und Organisationen
-
Rettberg, Achim
Josko, Bernhard
Götz, Marcelo
- URN
-
urn:nbn:de:gbv:715-oops-29565
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
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
- Oertel, Markus
- Rettberg, Achim
- Josko, Bernhard
- Götz, Marcelo
- BIS der Universität Oldenburg
Entstanden
- 2016
Ähnliche Objekte (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