| 商家名称 | 信用等级 | 购买信息 | 订购本书 |
 |
 |
Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Braz |  |
 |
|
Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Braz | |
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.
