20. SAFECOMP 2001: Budapest, Hungary

Invited Paper

Reliability Asessment and Security

Safety Case and Safety Analysis

Medical Systems

Invited Paper

Human Machine Interface

COTS - Components off the Shelf

Testing

Formal Methods

Invited Paper

Control Systems

maintained by Schloss Dagstuhl LZI at University of Trier