Sage Journals: Discover world-class research

Free access

Research article

First published 2013-8

Quasi-cylindrical surface verification based on equivalent radius and Gaussian image using three-dimensional noncontact measurement points

Hua Wang, Junyang Yu

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

Retricted access

Research article

First published 2006-1

Study of the characteristics of CT-Equivalence with proves

Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2020-2-4

On the semantics of communications when verifying equivalence properties

Kushal Babel, Vincent Cheval, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2006-4

Towards Integrated Verification of Timed Transition Models

Mark Lawford, Vera Pantelic, Hong Zhang

Fundamenta Informaticae

Open access

Review article

First published 2020

Comparative application analysis and test verification on equivalent modeling theories of honeycomb sandwich panels for satellite solar arrays

Wei Wang, Haitao Luo, Jia Fu [...]

Composites and Advanced Materials

Retricted access

Research article

First published 2019-5

Equivalent core concept for large-scale structural-level applications

Woo Geun Lee, Jung Seok Kim, Jae-Yong Lim

Journal of Sandwich Structures & Materials

Retricted access

Research article

First published 2019-6-10

A method for unbounded verification of privacy-type properties

Lucca Hirschi, David Baelde, Stéphanie Delaune

Journal of Computer Security

Open access

Research article

First published 2024-11-07

Probabilistic risk analysis of local verification of Load Model 1 in Eurocode for Soil-Steel Composite bridges in Sweden

Johan Lagerkvist, Carlos Gil Berrocal, Fredrik Carlsson [...]

Bridge Structures

Retricted access

Research article

First published 1995-5

Computerized Fire Risk Assessment Models: A Regulatory Effectiveness Analysis

Vincent Brannigan, Carol Meeks

Journal of Fire Sciences

Search results