placeholder image

Müller, Sebastian

Person

Positions

University of Kaiserslautern

selected publications

chapter
- Dynamic Safety Contracts for Functional Cooperation of Automotive Systems. Lecture Notes in Computer Science. 2016

full name

Sebastian Müller

Publications in VIVO

Co-author Network