Dependable Computing
Subtitle: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Carlos Alberto Maziero (Editor); João Gabriel Silva (Editor); Aline Maria Santos Andrade (Editor); Flávio Morais de Assis Silva (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 28, 2005
Language: eng
Format: Paperback
Number of pages: 267
ISBN-13: 9783540295723
Subjects: General Theory of Computing; Logic Design; Computers - Languages / Programming; Science; Science/Mathematics; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Programming / Systems Analysis & Design; certification; dependable computing; dependable systems; distributed systems algorithms; embedded systems; fault-tolerant systems; high integrity systems; quality assurance; real-time systems; safety-critical systems; Database Management - General; Earth Sciences - Geology