Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-07

Independent Verification and Validation of an Industrial Simulation Model

Stewart Robinson, Roger J. Brooks

SIMULATION

Retricted access

Research article

First published 2006-05

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement

W. T. Tsai, Yinong Chen, Ray Paul [...]

SIMULATION

Retricted access

Research article

First published 2016-1

Towards a framework for more robust validation and verification of simulation models for systems of systems

Bernard P Zeigler, James J Nutaro

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2024-4

Verification,validation,and accreditation for models and simulations in the Australian defence context: a review

Kerryn R Owen, Ripon K Chakrabortty

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2020-11

DEv-PROMELA: modeling,verification,and validation of a video game by combining model-checking and simulation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman

SIMULATION

Retricted access

Research article

First published 2014-7

A simulation model with verification and validation for time-phased education planning in Afghanistan

Benjamin Marlin, Han-Suk Sohn

SIMULATION

Retricted access

Other

First published 1994-04

Real-time Environment and Vehicle Dynamics Simulations for Space Station Freedom Integrated Test and Verification Environment

Carolyn Jayne Guyse, Deborah Elaine Buscher, S. Richard Ellenberger

SIMULATION

Retricted access

Research article

First published 1995-11

Simulation and Verification of Protocol Using Deductive Machine

R. Lai, X. Li

SIMULATION

Retricted access

Research article

First published 2025-9

Mental Workload Assessment in the Verification of Thermal Power Dispatch Operating Concepts Using a Graded Simulator-Based Approach

Olugbenga Gideon, Kelly Dickerson, Thomas A. Ulrich [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2013-8

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version

Paulo Salem da Silva, Ana C V de Melo

SIMULATION

Search results