Abel Hegedues
AuthID: R-00H-NBV
1
TITLE: Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14)
AUTHORS: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLISHED: 2014, SOURCE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
AUTHORS: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLISHED: 2014, SOURCE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
INDEXED IN: 
WOS
WOS