Results 201 to 210 of about 2,368 (218)

Verification conditions for source-level imperative programs

Computer Science Review, 2011
Maria João Frade, Jorge Sousa Pinto
exaly  

Video-based kinship verification using distance metric learning

Pattern Recognition, 2018
Haibin Yan, Junlin Hu
exaly  

An experience in the formal verification of industrial software

Communications of the ACM, 1996
openaire   +1 more source

Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

Reliability Engineering and System Safety, 2018
BØRge Rokseth, Íngrid Bouwer Utne, Jan Erik Vinnem   +2 more
exaly  

Diagnostic verification of hydrometeorological and hydrologic ensembles

Atmospheric Science Letters, 2010
James H Brown, Dong-Jun Seo, Zoltan Tóth   +2 more
exaly  

Verification of the findings of acrylamide in heated foods

Food Additives and Contaminants, 2002
L Castle
exaly  

First clinical application of a prompt gamma based in vivo proton range verification system

Radiotherapy and Oncology, 2016
Christian Richter, G Pausch, Julien Smeets   +2 more
exaly  

Verification and quality control of routine hematology analyzers

International Journal of Laboratory Hematology, 2016
A Huisman
exaly  

Verification and validation of simulation models

Journal of Simulation, 2013
exaly  

Automatic Signature Verification: The State of the Art

IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 2008
Donato Impedovo, Giuseppe Pirlo
exaly