Ada-Europe 2006: Porto, Portugal

Real-Time Systems

Static Analysis

Verification

Reliability

Compilers

Distributed Systems