Approach for Demonstrating Safety for a Collision Avoidance System.

Thomas Gruber, Christian Zinner

Browse the full SAFECOMP paper archive.