Automated Verification and Validation of IoRT Systems

Mapping Intimacies ◽

10.1002/9781119752165.ch3 ◽

2021 ◽

pp. 55-89

Author(s):

S.V. Gayetri Devi ◽

C. Nalini

Keyword(s):

Verification And Validation ◽

Automated Verification

Download Full-text

Simulation and Closed-Loop Testing of Camera, Radar, and Lidar Sensors for Highly Automated Verification and Validation of Data Fusion Systems

AIAA Scitech 2020 Forum ◽

10.2514/6.2020-0895 ◽

2020 ◽

Author(s):

Jace L. Allen ◽

Benjamin Hager

Keyword(s):

Data Fusion ◽

Closed Loop ◽

Verification And Validation ◽

Automated Verification ◽

Download Full-text

Introducing Automated Verification and Validation for Virtualized Network Functions and Services

IEEE Communications Magazine ◽

10.1109/mcom.2019.1800873 ◽

2019 ◽

Vol 57 (5) ◽

pp. 96-102 ◽

Author(s):

Manuel Peuster ◽

Stefan Schneider ◽

Mengxuan Zhao ◽

George Xilouris ◽

Panagiotis Trakadas ◽

...

Keyword(s):

Verification And Validation ◽

Automated Verification ◽

Network Functions

Download Full-text

Automated Verification and Validation of an Onboard Mission Planning and Execution System for UAVs

10.2514/6.2013-4564 ◽

2013 ◽

Author(s):

Christoph Torens ◽

Florian Adolf

Keyword(s):

Verification And Validation ◽

Mission Planning ◽

Automated Verification

Download Full-text

Automated Verification and Validation Methods for Transmission Control Software

SAE International Journal of Passenger Cars - Electronic and Electrical Systems ◽

10.4271/2015-01-0163 ◽

2015 ◽

Vol 8 (1) ◽

pp. 99-105 ◽

Author(s):

Madhura Medikeri ◽

Thomas Tasky ◽

Johannes Richenhagen

Keyword(s):

Verification And Validation ◽

Automated Verification ◽

Transmission Control ◽

Control Software ◽

Validation Methods

Download Full-text

Verification and Validation of Real-Time Software

10.1007/978-3-642-70224-2 ◽

1985 ◽

Keyword(s):

Real Time ◽

Verification And Validation

Download Full-text

A predicate calculus based language for data verification and validation

10.2514/6.1993-4462 ◽

1993 ◽

Author(s):

Antonio Leal

Keyword(s):

Verification And Validation ◽

Predicate Calculus ◽

Data Verification

Download Full-text

Verification and Validation of DESTIN as the Primary Sample Acquisition Tool for the RESOLVE Project

51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition ◽

10.2514/6.2013-735 ◽

2013 ◽

Author(s):

Sherry Schmidt ◽

Dale Boucher ◽

Stephanie Fudge ◽

Cindy Komarechka

Keyword(s):

Verification And Validation ◽

Download Full-text

Fire safety engineering. Assessment, verification and validation of calculation methods

10.3403/30243802u ◽

2015 ◽

Keyword(s):

Fire Safety ◽

Verification And Validation ◽

Safety Engineering ◽

Calculation Methods ◽

Fire Safety Engineering

Download Full-text

Fire safety engineering. Assessment, verification and validation of calculation methods

10.3403/30243800 ◽

2014 ◽

Keyword(s):

Fire Safety ◽

Verification And Validation ◽

Safety Engineering ◽

Calculation Methods ◽

Fire Safety Engineering

Download Full-text

JOVIAL J73 Automated Verification System: Implementation Phase.

10.21236/ada148732 ◽

1984 ◽

Author(s):

C. Gannon

Keyword(s):

Automated Verification ◽

System Implementation ◽

Implementation Phase ◽

Verification System

Download Full-text