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

Other

First published 1984-11

How Valid Are Formal,Informal Needs Assessment Methods for Planning Staff Development Programs?

Jon C. Marshall, Sarah Dejarnette Caldwell

NASSP Bulletin

Retricted access

Research article

First published 2023-4

Using formal methods for autonomous systems: Five recipes for formal verification

Matt Luckcuck

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

Retricted access

Research article

First published 2009-3-24

Configuring storage-area networks using mandatory security

Benjamin Aziz, Simon N. Foley, John Herbert [...]

Journal of Computer Security

Retricted access

Research article

First published 1995-3

The Role of Prevalidation in the Development,Validation and Acceptance of Alternative Methods

Rodger D. Curren, Jacqueline A. Southee, Horst Spielmann [...]

Alternatives to Laboratory Animals

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

Integrating formal methods with domain analysis

Laura Felice, María Carmen Leonardi, María Virginia Mauco [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2012-7

Report of the EPAA–ECVAM Workshop on the Validation of Integrated Testing Strategies (ITS)

Agnieszka Kinsner-Ovaskainen, Gavin Maxwell, Joachim Kreysa [...]

Alternatives to Laboratory Animals

Retricted access

Research article

First published 2009-9

Overcoming Barriers to Validation of Non-animal Partial Replacement Methods/Integrated Testing Strategies: The Report of an EPAA–ECVAM Workshop

Agnieszka Kinsner-Ovaskainen, Zerrin Akkan, Silvia Casati [...]

Alternatives to Laboratory Animals

Retricted access

Research article

First published 2008-5

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets

Kimmo Varpaaniemi, Leo Ojala

Fundamenta Informaticae

Search results