Verification and Validation of Semantic Annotations

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-030-37487-7_19 ◽

2019 ◽

pp. 223-231

Author(s):

Oleksandra Panasiuk ◽

Omar Holzknecht ◽

Umutcan Şimşek ◽

Elias Kärle ◽

Dieter Fensel

Keyword(s):

Verification And Validation ◽

Semantic Annotations

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

Advanced Distributed Simulation Technology Advanced Rotary Wing Aircraft. Strawman Verification and Validation Plan for the ARWA Simulator System

10.21236/ada280237 ◽

1994 ◽

Author(s):

Roger Branson ◽

Howard Fry

Keyword(s):

Distributed Simulation ◽

Verification And Validation ◽

Simulation Technology ◽

Validation Plan ◽

Download Full-text

Verification and Validation of Current IWEDA Rules.

10.21236/ada332943 ◽

1997 ◽

Author(s):

Carl H. Chesley ◽

Vincent P. Grocki

Keyword(s):

Verification And Validation

Download Full-text

Verification and Validation of the Satellite Marine-Layer/Elevated Duct Height (SMDH) Technique

10.21236/ada390416 ◽

2000 ◽

Author(s):

Mary S. Jordan ◽

Philip A. Durkee

Keyword(s):

Verification And Validation ◽

Download Full-text

JCATS Verification and Validation Report

10.21236/ada411538 ◽

2002 ◽

Author(s):

W. M. Christenson ◽

Mary C. Flythe ◽

Terri J. Walsh ◽

Robert A. Zirkle

Keyword(s):

Verification And Validation

Download Full-text

Software Independent Verification and Validation (SIV&V) Simplified

10.21236/ada462428 ◽

2006 ◽

Author(s):

Reffela Davidson ◽

Ashley Mathis ◽

David Patterson ◽

Alexis P. von Spakovsky

Keyword(s):

Verification And Validation ◽

Independent Verification

Download Full-text