J. Parizi
AuthID: R-00F-T4P
1
TITLE: Brief announcement: KARYON: Towards safety kernels for cooperative vehicular systems
AUTHORS: Casimiro, A ; Kaiser, J; Karlsson, J; Schiller, EM; Tsigas, P; Costa, P; Parizi, J; Johansson, R; Librino, R;
PUBLISHED: 2012, SOURCE: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7596 LNCS
AUTHORS: Casimiro, A ; Kaiser, J; Karlsson, J; Schiller, EM; Tsigas, P; Costa, P; Parizi, J; Johansson, R; Librino, R;
PUBLISHED: 2012, SOURCE: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7596 LNCS
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef