Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems [chapter]

António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
2012 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-33536-5_22 fatcat:mjhbcxviezhaxnk5pmyourp73i