Cover Image
Read Now

1
by Baier, Christel
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

2
by Kulisch, Ulrich
Published 2008
De Gruyter
Cover Image
Read Now

3
by Roychoudhury, Abhik
Published 2009
Morgan Kaufmann Publishers/Elsevier
Table of Contents: “... Exercises; Chapter 5. Functionality Validation; 5.1 Dynamic or Trace-Based Checking; 5.1.1 Dynamic Slicing...”
Cover Image
Read Now

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Probabilistic Model Checking -- Learning Techniques for Software Verification and Validation -- Learning...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... of the Pacemaker Software -- Modeling and Formalizing Industrial Software for Verification, Validation...”
Cover Image
Read Now

7
Published 2016
Springer International Publishing
“... and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation...”
Cover Image
Read Now

8
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Major Incidents, Safe and Reliable Verdicts and the Process of Verification and Validation...”
Cover Image
Read Now

9
Published 2004
Springer US
“... densities will create a design and validation nightmare with the shear scale. The questions that confront...”
Cover Image
Read Now

10
Published 2013
Springer Berlin Heidelberg
Cover Image
Read Now

11
by Leszak, Marek, Eggert, Horst
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... zur graphischen Netzkonstruktion -- 5.2 Werkzeuge zur strukturellen funktionellen Validation durch...”
Cover Image
Read Now

13
Published 2010
Springer Berlin Heidelberg
“... and were validated by the BEinGRID consortium in real-life business trials covering most European market...”
Cover Image
Read Now

14
by Varanasi, Balaji
Published 2015
Apress
Subjects: “...Computer software / Validation / fast...”
Cover Image
Read Now

15
by Wijshoff, Harry A.G.
Published 1989
Springer US
Table of Contents: “... Skewing Schemes for d-Dimensional Arrays -- 2.1 The General Case -- 2.2 The Validity of Skewing Schemes...”
Cover Image
Read Now

16
Published 2001
Springer US
Table of Contents: “... Controllers -- III Verification and Validation -- 10 Validation of a Relational Program -- 11 Verification...”
Cover Image
Read Now

17
Published 2015
Academic Press
Table of Contents: “...5.2.4. The Replace Approach5.3. Validity Checking for the Avoid Approach; 5.3.1. Constraint Solving...”
Cover Image
Read Now

18
Published 2014
Springer International Publishing
Table of Contents: “...Design of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring...”
Cover Image
Read Now

19
Published 2023
Springer Nature Singapore
Table of Contents: “...-tied Converter: Real-time Validation -- Real-time Control Validation for Multilevel Converter -- Design...”
Cover Image
Read Now

20
Published 2014
Springer International Publishing
Table of Contents: “...Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment...”