Sage Journals: Discover world-class research

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

Enhanced deflection method for large-curvature problems: Formulation,verification and application to fiber-reinforced polymer-enabled arches

ZY Xia, T Jiang, T Yu

Advances in Structural Engineering

Retricted access

Research article

First published 2004-2

Eddy current analysis using overlap grid coordinate system

Takashi Watanabe, Takashi Todaka, Masato Enokizono

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 2017-10

CAE-Based application for identification and verification of hyperelastic parameters

Yevgen Gorash, Tugrul Comlekci, Robert Hamilton

Proceedings of the Institution of Mechanical Engineers,Part L: Journal of Materials: Design and Applications

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

Verifying a Class: combining Testing and Proving

Grażyna Mirkowska, Andrzej Salwicki, Oskar Świda

Fundamenta Informaticae

Retricted access

Research article

First published 2014-3

Elastodynamics in micropolar fractal solids

Hady Joumaa, Martin Ostoja-Starzewski, Paul Demmie

Mathematics and Mechanics of Solids

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

Free access

Research article

First published 2010-9

A Multi-Level Approach for Modelling Distributed Agent Network

Bippin Makoond, Souheil Khaddaj, Radouane Oudrhiri

Journal of Algorithms & Computational Technology

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Search results