DSN 2007: Workshop on Software Architectures for Dependable Systems (WADS)

Critical Infrastructures

Rigorous Design/Fault Tolerance

Verification and Validation