Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14).

Francesco Brancati, Nuno Laranjeiro, bel Hegeds

Browse the full SAFECOMP paper archive.