ENGLISH

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540295720, 9783540295723
DOI
10.1007/11572329
Open Library ID
OL22728291M
Language
english
Format
PDF
Filesize
5 MB (4914020 bytes)
Series
Lecture Notes in Computer Science 3747 : Theoretical Computer Science and General Issues
Edition
1
Pages
267\278
Library
Kolxo3
Time added
2011-02-14 12:09:19

Description

This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.

Similar books