Publications

Brief Announcement: Karyon: Towards Safety Kernels for Cooperative Vehicular Systems

AuthID
P-008-73C

Author(s)

Casimiro, A

Kaiser, J

Karlsson, J

Schiller, EM

Tsigas, P

Costa, P

Parizi, J

Johansson, R

Librino, R

Document Type

Proceedings Paper

Year published

2012

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7596 LNCS, Pages: 232-235

Conference

14Th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sss 2012, Date: 1 October 2012 through 4 October 2012, Location: Toronto, ON

Indexing