Development of secure software with security by design: trends and strategy report
ADTF-Kundenforum. Ein Erfolgsmodell bei der Zusammenarbeit von Automobilherstellern
Softwarefunktionen erfolgreich mit AUTOSAR entwickeln
Introduction to Spiral Development
Mit welcher Software fährt das Auto der Zukunft?
Efficient software tool qualification for automotive safety-critical systems
Software dependent failure analysis and software partitioning by safety measures
Durchgängige Realisierung von Steuergerätesoftware nach ISO 26262
Initial Results of the Software-Driven Navigation for Station Experiment
Utilizing Code Generation from Models for Electric Aircraft Motor Controller Flight Software
Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug
Pattern-oriented transformations between analysis and design models (POTAD)
A software package for the full GBTX lifecycle
Elektrik/Elektronik-Architekturen im Kraftfahrzeug : Modellierung und Bewertung von Echtzeitsystemen
Elektrik/Elektronik-Architekturen im Kraftfahrzeug : Modellierung und Bewertung von Echtzeitsystemen
Utilizing Event-B for domain engineering: a critical analysis