Dependable Computing

This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependabl...