You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (43)

Journals (0)

1-10 of 43 results for computer aided verification

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Theoretical Control and Experimental Verification of Carded Web Density. Part IV: Computer-Aided On-Line Control of Carded Web Density

Retricted access

Research article

First published 2001-07

Theoretical Control and Experimental Verification of Carded Web Density. Part IV: Computer-Aided On-Line Control of Carded Web Density

Chung-Feng Jeffrey Kuo, Chien-Teng Hsieh

Textile Research Journal

Select article: Narrowing Petri Net State Spaces Using the State Equation

Retricted access

Research article

First published 2001-9

Narrowing Petri Net State Spaces Using the State Equation

Karsten Schmidt

Fundamenta Informaticae

Select article: Challenging SMT solvers to verify neural networks

Retricted access

Research article

First published 2012-5

Challenging SMT solvers to verify neural networks

Luca Pulina, Armando Tacchella

The European Journal on Artificial Intelligence

Select article: Integrated Design and Verification System for Finite Element Modelling

Retricted access

Research article

First published 1993-12

Integrated Design and Verification System for Finite Element Modelling

Peter Jeppsson, Ales Svoboda

Concurrent Engineering

Select article: Substitution Methods for the Verification of Analog Solutions

Retricted access

Research article

First published 1964-12

Substitution Methods for the Verification of Analog Solutions

Hans F. Meissinger

SIMULATION

Select article: Simulation and Verification of Protocol Using Deductive Machine

Retricted access

Research article

First published 1995-11

Simulation and Verification of Protocol Using Deductive Machine

R. Lai, X. Li

SIMULATION

Select article: Development of integrated intelligent computer-aided design system for mechanical power-transmitting mechanism design

Open access

Research article

First published 2017-7

Development of integrated intelligent computer-aided design system for mechanical power-transmitting mechanism design

Isad Saric, Adil Muminovic, Mirsad Colic [...]

Advances in Mechanical Engineering

Select article: Newly Developed Software Application for Multiple Access Process Planning

Open access

Research article

First published 2014

Newly Developed Software Application for Multiple Access Process Planning

Katarina Monkova, Peter Monka

Advances in Mechanical Engineering

Select article: Systematic evaluation of pre-processing approaches in online signature verification

Retricted access

Research article

First published 2023-8

Systematic evaluation of pre-processing approaches in online signature verification

Mohammad Saleem, Cintia Lia Szucs, Bence Kovari

Intelligent Decision Technologies

Select article: Computer aided process and design optimization for injection moulding

Free access

Research article

First published 2002-12

Computer aided process and design optimization for injection moulding

L-S Turng, M Peić

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

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access