Certifications of Critical Systems ? The CECRIS Experience

This book documents the main insights on Cost Effective Verification and Validation processes gained during work in the EU CECRIS project. The objective was to tackle the challenges of certification by focusing on aspects that are more important for current and future critical systems: the effective use of methodologies, processes and tools