19. SAFECOMP 2000: Rotterdam, The Netherlands

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