Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements

Computer Languages Systems & Structures ◽

10.1016/j.cl.2017.11.002 ◽

2018 ◽

Vol 54 ◽

pp. 512-527 ◽

Author(s):

Nils Przigoda ◽

Philipp Niemann ◽

Jonas Gomes Filho ◽

Robert Wille ◽

Rolf Drechsler

Keyword(s):

Validation And Verification ◽

Automatic Validation

Download Full-text

Development, validation and verification of the Momentum Source Model for discrete rotor blades

10.31274/etd-180810-3032 ◽

2011 ◽

Author(s):

Kanchan Guntupalli

Keyword(s):

Source Model ◽

Rotor Blades ◽

Validation And Verification

Download Full-text

Greenhouse gases. Requirements for greenhouse gas validation and verification bodies for use in accreditation or other forms of recognition

10.3403/30134564u ◽

2015 ◽

Keyword(s):

Greenhouse Gases ◽

Greenhouse Gas ◽

Validation And Verification

Download Full-text

Greenhouse gases. Requirements for greenhouse gas validation and verification bodies for use in accreditation or other forms of recognition

10.3403/30134564 ◽

2007 ◽

Keyword(s):

Greenhouse Gases ◽

Greenhouse Gas ◽

Validation And Verification

Download Full-text

Road restraint systems. Validation and verification process for the use of virtual testing in crash testing against vehicle restraint system

10.3403/30371553u ◽

2020 ◽

Keyword(s):

Restraint System ◽

Validation And Verification ◽

Virtual Testing ◽

Crash Testing ◽

Verification Process

Download Full-text

Road restraint systems. Validation and verification process for the use of virtual testing in crash testing against vehicle restraint system

10.3403/30371553 ◽

2020 ◽

Keyword(s):

Restraint System ◽

Validation And Verification ◽

Virtual Testing ◽

Crash Testing ◽

Verification Process

Download Full-text

Delegation to Private Actors of the Competences in Validation and Verification in the Kyoto Protocol Flexibility Mechanisms

SSRN Electronic Journal ◽

10.2139/ssrn.2331149 ◽

2011 ◽

Author(s):

SSbastien Duyck

Keyword(s):

Kyoto Protocol ◽

Validation And Verification ◽

Download Full-text

Particle in Cell Finite Element Validation and Verification Methods

2020 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting ◽

10.1109/ieeeconf35879.2020.9329607 ◽

2020 ◽

Author(s):

S. O'Connor ◽

J. W. Luginsland ◽

B. Shanker

Keyword(s):

Finite Element ◽

Validation And Verification ◽

Particle In Cell ◽

Verification Methods

Download Full-text

A potential flow method combining immersed boundaries and overlapping grids: Formulation, validation and verification

Ocean Engineering ◽

10.1016/j.oceaneng.2021.108841 ◽

2021 ◽

Vol 227 ◽

pp. 108841

Author(s):

Finn-Christian Wickmann Hanssen ◽

Marilena Greco

Keyword(s):

Potential Flow ◽

Validation And Verification ◽

Flow Method ◽

Overlapping Grids ◽

Immersed Boundaries

Download Full-text

Validation and Verification of Smart Contracts: A Research Agenda

Computer ◽

10.1109/mc.2017.3571045 ◽

2017 ◽

Vol 50 (9) ◽

pp. 50-57 ◽

Author(s):

Daniele Magazzeni ◽

Peter McBurney ◽

William Nash

Keyword(s):

Research Agenda ◽

Smart Contracts ◽

Validation And Verification

Download Full-text

Validation and verification of social processes within agent-based computational organization models

Computational and Mathematical Organization Theory ◽

10.1007/s10588-006-8873-y ◽

2006 ◽

Vol 12 (4) ◽

pp. 283-312 ◽

Author(s):

Levent Yilmaz

Keyword(s):

Social Processes ◽

Validation And Verification ◽

Agent Based ◽

Organization Models

Download Full-text