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

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2003-8

MODELING AND VERIFICATION OF REAL-TIME SYSTEMS

Cengiz Erbas, Murat M. Tanik

Journal of Integrated Design and Process Science

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

Formulated problem verification as an explicit requirement of model credibility

Osman Balci, Richard E. Nance

SIMULATION

Retricted access

Research article

First published 2010-11

Consistency,Verification,and Validation of Turbulence Models for Reynolds-Averaged Navier—stokes Applications

C L Rumsey

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2007-01

Verification and Validation Issues in a Generic Model of Electro-Optic Sensor Systems

M. I. Smith, D. J. Murray-Smith, D. Hickman

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

Retricted access

Research article

First published 2006-4

Towards Integrated Verification of Timed Transition Models

Mark Lawford, Vera Pantelic, Hong Zhang

Fundamenta Informaticae

Free access

Research article

First published 2012-6

Manufacturability verification through feature-based ontological product models

Najam Anjum, Jennifer A Harding, Robert IM Young [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Open access

Research article

First published 2019-12

Experimental verification of the fractional model for silver ion release from hollow fibers

Ling Lin, Huigai Li, Shao-Wen Yao

Journal of Low Frequency Noise,Vibration and Active Control

Search results