BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems.

Matina Maria Trompouki, Leonidas Kosmidis

Browse the full ICCD paper archive.