DocumentCode
3371029
Title
Table of contents
fYear
2011
fDate
25-29 April 2011
Abstract
The following topics are dealt with: distributed algorithms; security; system diagnosis; system dependability; fault injection; software assessment; and software verification.
Keywords
distributed processing; program verification; security of data; software fault tolerance; distributed algorithms; fault injection; security; software assessment; software verification; system dependability; system diagnosis;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing (LADC), 2011 5th Latin-American Symposium on
Conference_Location
Sao Jose dos Campos
Print_ISBN
978-1-4244-9700-3
Type
conf
DOI
10.1109/LADC.2011.4
Filename
5783411
Link To Document