Dependable computing ; 2nd Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.