Validation and Verification of Automated Driving Systems (Sustainable Mobility & Energy)

System-on-Chip Security: Validation and Verification

Medical Device Software Verification, Validation and Compliance

Software Verification and Validation for Practitioners and Managers, Second Edition

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering