Publications

Introduction to the Safecomp 2014 Workshop: Development, Verification and Validation of Critical Systems (Devvarts '14)

AuthID
P-00P-9XY

Author(s)

Brancati, F

Laranjeiro, N

Hegedues, A

Editor(s)

Bondavalli, A; Ceccarelli, A; Ortmeier, F

Document Type

Proceedings Paper

Year published

2014

Published

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

Volume: 8696, Pages: 192-194 (3)

Conference

33Rd Safecomp Workshop, Date: SEP 08-09, 2014, Location: Florence, ITALY, Sponsors: 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