9. ICECCS 2004: Florence, Italy

Keynote Address

Panel

Security

Networks

Validation

Formal Specification

Tools

Managing Complexity

Case Studies

Burning Problems