Options
Weiß, Gereon
Resumption of runtime verification monitors: Method, approach and application
Ausfallsicherheit mit AUTOSAR: Ressourcen neu verteilen
Verification of network end-to-end latencies for adaptive ethernet-based cyber-physical systems
Memory concepts for enabling adaptivity in distributed embedded systems
Verlässliche Adaptive Software-Architekturen im Auto: Von Fail-Silent zu Fail-Operational