Options
Trapp, Mario
B-space. Dynamic management and assurance of open systems of systems
Efficient safety analysis of automotive software systems
Landleben 2.0. Vom smarten Leben auf dem Lande
Modellbasierte Entwicklung eingebetteter Softwaresysteme
Safety-Analyse für Embedded-Software
Conditional safety certification of open adaptive systems
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems