Software engineering: Critical Systems Validation

Validating the reliability, safety and security of computer-based systems