@inproceedings{5202512b009a4d0eb8820d358adcedb8,
title = "Approach for Demonstrating Safety for a Collision Avoidance System",
author = "Thomas Gruber and Christian Zinner",
year = "2015",
language = "English",
isbn = "978-3-319-24248-4",
pages = "167--177",
booktitle = "Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops",
publisher = "Springer",
address = "Germany",
note = "EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop (DECSoS 2015) ; Conference date: 22-09-2015",
}