Publicações

Evaluation of Safety Rules in a Safety Kernel-Based Architecture

AuthID
P-009-TR2

Author(s)

Vial, E

Casimiro, A

Editor(es)

Bondavalli, A; Ceccarelli, A; Ortmeier, F

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in COMPUTER SAFETY, RELIABILITY, AND SECURITY in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8696, Páginas: 27-35 (9)

Conference

33Rd Safecomp Workshop, Date: SEP 08-09, 2014, Location: Florence, ITALY, Patrocinadores: EWICS TC7, Univ Studi Firenze, Consiglio Nazionale Ric, Ist Sci & Tecnologie dell Informazione A Faedo, ResilTech, Prolan, Assoc Italiana Esperti Infrastrutture Critiche, Austrian Inst Technol, European Network Clubs Reliabil & Safety Software, European Res Consortium Informat & Math, Gesell Informatik e V, Int Federat Informat Proc, Austrian Comp Soc, Oesterreichische Compr Gesell

Indexing