21. SAFECOMP 2002: Catania, Italy

Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)

Keynote Talk

Human Factors

Security

Dependability Assessment (Poster Session)

Keynote Talk

Application of Formal Methods (Poster Session)

Reliability Assessment

Design for Dependability

Safety Assessment

Keynote Talk

Design for Dependability (Poster Session)

Application of Formal Methods

Design for Dependability