Sage Journals: Discover world-class research

Retricted access

Research article

First published 1997-7

Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic

Shie-Jue Lee, Wei-Jer Lin

Fundamenta Informaticae

Retricted access

Research article

First published 2015-5

Verification of partial designs using incremental QBF

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2008-5

Nondestructive testing for design verification of Boston’s Central Artery underpinning frames and connections

Erin Santini-Bell, Masoud Sanayei, Brian Brenner [...]

Bridge Structures

Retricted access

Research article

First published 1993-12

Integrated Design and Verification System for Finite Element Modelling

Peter Jeppsson, Ales Svoboda

Concurrent Engineering

Retricted access

Research article

First published 2025-4

Design and verification of diesel generator exhaust muffler

WenQiang He, Xuan Gong, QiaoXin Zhang [...]

Journal of Vibration and Control

Retricted access

Research article

First published 2019-11

Human Reliability Analysis for Verification and Validation of New Designs

Ronald Laurids Boring

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 1997-3

Design Verification of Guyed Transmission Tower Using Nonlinear Analysis

F. Albermani

International Journal of Space Structures

Retricted access

Research article

First published 2018-2

Verification of a rapid mooring and foundation design tool

Sam D Weller, Jon Hardwick, Steven Gomez [...]

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Retricted access

Research article

First published 2023-6

Profile design and simulation verification of hard whirling tool for ZC1 worm machining

Yaxin Yu, Xiaoyan Ji, Sheng Dai [...]

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

Retricted access

Research article

First published 2010-4

Design of a Simple and Economic Device for the Experimental Verification of the Theory of Multi-Degree-of-Freedom Vibration Systems

T. García Vázquez, E. Alba Ruiz, C. J. Ortega Núñez [...]

International Journal of Mechanical Engineering Education

Search results