19th SAFECOMP 2000: Rotterdam, The Netherlands

Refine list

showing all ?? records

Invited Paper

Verification and Validation

Software Process Improvement

Formal Methods

Invited Paper

Safety Guidelines, Standards and Certification

Hardware Aspects

Safety Assessment 1

Design for Safety

Invited Paper

Transport & Infrastructure

Safety Assessment 2

a service of  Schloss Dagstuhl - Leibniz Center for Informatics