Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-2

Planning meets verification and validation in a knowledge engineering environment

Andrea Orlandini, Giulio Bernardi, Amedeo Cesta [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2022-4

Risk-informed reliability improvement optimization for verification and validation planning based on set covering modeling

Gongyu Wu, Zhaojun (Steven) Li, Pan Liu

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

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

Research article

First published 2017-6

A verification and validation planning method to address change propagation effects in engineering design and manufacturing

Prabhu Shankar, Joshua D Summers, Keith Phelan

Concurrent Engineering

Retricted access

Research article

First published 2011-2

Flexible Plan Verification: Feasibility Results

Amedeo Cesta, Simone Fratini, Andrea Orlandini [...]

Fundamenta Informaticae

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Review article

First published 2008-10

Hospital Planning: The Risks of Basing the Future on Past Data

Sandra G Leggat

Health Information Management Journal

Retricted access

Research article

First published 2010-3

Creation and Use of a Database in Clinical and Translational Research

Janet P. Smith, Alan C. Elliott, Linda S. Hynan [...]

Journal of Investigative Medicine

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

Retricted access

Research article

First published 2013-1

An approach to the validation of computational solid mechanics models for strain analysis

Christopher Sebastian, Erwin Hack, Eann Patterson

The Journal of Strain Analysis for Engineering Design

Search results