Dynamic Safety Contracts for Functional Cooperation of Automotive Systems.

Sebastian Müller Peter Liggesmeyer

Published in: SAFECOMP Workshops (2016)

Keyphrases

safety critical
cooperative
real time
distributed systems
knowledge based systems
machine learning
information retrieval
search engine
case study
multi agent systems
expert systems
software engineering
computer systems
changing environment
formal methods
autonomous mobile