Sage Journals: Discover world-class research

Retricted access

Other

First published 1990-01

Verifying and validating complex simulation models by analogy

Jerry Banks

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 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

Retricted access

Research article

First published 1985-10

Development of a Knowledge-Based Simulation Model to Verify Operability in a Complex Combat System

Robert Dick, Renwick Curry

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

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 1967-09

Real time hardware-in-the-loop simulation verifies performance of Gemini computer and operational program

Joseph L. Gross

SIMULATION

Retricted access

Other

First published 1972-6

Experimental Verification of a Digital Computer Simulation Method for Predicting Gas Turbine Dynamic Behaviour

A. J. Fawke, H. I. H. Saravanamuttoo, M. Holmes

Proceedings of the Institution of Mechanical Engineers

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

Open access

Research article

First published 2020-9

Dynamic analysis of material motion using MATLAB/Simulation environment and test verification

Mei Fang, Zhihong Yu, Wenjie Zhang

Advances in Mechanical Engineering

Retricted access

Research article

First published 2015-2

Reference Cases for Verification of Operation and Maintenance Simulation Models for Offshore Wind Farms

Iain Dinwoodie, Ole-Erik V. Endrerud, Matthias Hofmann [...]

Wind Engineering

Search results