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

System-on-Chip Security: Validation and Verification

Medical Device Software Verification, Validation and Compliance

Software Verification and Validation for Practitioners and Managers, Second Edition

INCOSE Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle