Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.

Antnio Casimiro, Jrg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, Jos Parizi, Rolf Johansson, Renato Librino

Browse the full SSS paper archive.