Results 271 to 280 of about 596,156 (298)

Verification – The Experience of the 1970s

2021
openaire   +1 more source

Balloon-based Overall Verification Experiment for ...

56th International Astronautical Congress of the International Astronautical Federation, the International Academy of Astronautics, and the International Institute of Space Law, 2005
K. Fujita, S. Sawai, H. Kobayashi, H. Taguchi, T. Kojima, K. Okai, T. Sato   +6 more
openaire   +1 more source

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

Verification experiments on the MASCARA protocol

2001
Guoping Jia, Susanne Graf
openaire   +1 more source

Haynes-Shockley experiment verification

2015
openaire   +1 more source

Online signature verification using double‐stage feature extraction modelled by dynamic feature stability experiment

IET Biometrics, 2017
Mohammad Esmaeel Yahyatabar, Jamal Ghasemi   +1 more
exaly  

Catalytic performance of coal tar by step conversion of single-component, multi-components, distillate and all-distillates over bifunctional HZSM-5: Model optimization and experiment verification

Fuel Processing Technology, 2023
exaly  

Discriminative feature selection for on-line signature verification

Pattern Recognition, 2018
Zhili Chen
exaly  

An experiment in automatic generation of test suites for protocols with verification technology

Science of Computer Programming, 1997
Claude Jard, Thierry Jeron, César Viho
exaly  

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Zhiliang Wang, Xingang Shi
exaly