Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-7-2

Automatic verification of correspondences for security protocols *

Bruno Blanchet

Journal of Computer Security

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2003-8

Automatic-Controlled Information Processing and Error Detection in a Simulated Pharmacy-Verification Task

Sean Reilley, Anthony F. Grasha, Gerald Matthews [...]

Perceptual and Motor Skills

Retricted access

Research article

First published 2022-3

Automatic verification method of progressive image model matching information based on machine learning

Jie Yuan, Yuan Ji, Zhou Zhu [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2025-5

Development and verification of automatic recognition system for vocal performance styles based on ResNet

Xu Ni, Xiyang Chen

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2008-11

Automatic software verification for robotics

Jacopo Mantovani

The European Journal on Artificial Intelligence

Free access

Research article

First published 2024-01-10

Automatic verification method of relay protection equipment setting value combining cell image gray enhancement and AI recognition

Xianshan Sun, Yuefeng Sheng, Hongfei Mao [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2002-6

Verification of Timed Automata Based on Similarity

Piotr Dembiński, Agata Półrola

Fundamenta Informaticae

Retricted access

Other

First published 1993-11

Automatic Generation of Real-Time Ada Simulations for Space Station Freedom

Richard Ellenberger, Robert Ling, Deborah Buscher [...]

SIMULATION

Retricted access

Research article

First published 1998

Results from Minnesota/Wisconsin Automatic Out-of-Service Verification Operational Test

Robert L. Smith, Wen-Jing Huang

Transportation Research Record: Journal of the Transportation Research Board

Search results