Sage Journals: Discover world-class research

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

Free access

Other

First published 2007-6

Importance of Integrating a Volume Verification Method for Liquid Handlers: Applications in Learning Performance Behavior

Keith J. Albert, John Thomas Bradshaw

Journal of Laboratory Automation

Retricted access

Research article

First published 2006-1

Advanced method for cryptographic protocol verification

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2018-2

Verification of probability density evolution method through shaking table tests of a randomly base-driven structure

Zhen Mei, Zixiong Guo

Advances in Structural Engineering

Retricted access

Research article

First published 2001

Statistically Based Methods for Verification Testing

Robert L. Schmitt, Awad S. Hanna, Jeffrey S. Russell [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1964-12

Substitution Methods for the Verification of Analog Solutions

Hans F. Meissinger

SIMULATION

Retricted access

Research article

First published 2009-8

Integrity verification method for video content using robust watermarking

Takaaki Yamada, Yoshiyasu Takahashi, Yasuhiro Fujii [...]

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 1962-6

Methods of Load Verification of Tension and Compression Testing Machines

Applied Mechanics Group, B. Swindells, R. C. Debnam

Proceedings of the Institution of Mechanical Engineers

Retricted access

Research article

First published 2017-8-24

An interpolation-based method for the verification of security protocols

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Search results