Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... of CSP-M: A New fdr-Compliant Validation Tool -- Practical Automated Partial Verification of Multi...”
Cover Image
Read Now

3
Published 2017
Springer International Publishing
Table of Contents: “... Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
Table of Contents: “... -- Verification and validation...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “...Programming and testing -- Verification and validation -- Semantics -- Blockchain...”
Cover Image
Read Now

6
Published 2023
Springer International Publishing
Table of Contents: “... -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification...”