21st SAFECOMP 2002: Catania, Italy

Refine list

showing all ?? records

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

Keynote Talk

Human Factors


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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics