TY - RPRT TI - Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug AU - Bernhard Rumpe AU - Christian Berger AU - Holger Krahn PY - 2014 UR - https://arxiv.org/abs/1410.4078 ID - 1410.4078 ER -