Abel Hegedues
AuthID: R-00H-NBV
1
TÃTULO: Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14)
AUTORES: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
AUTORES: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
INDEXADO EM: 
WOS
WOS