Results 291 to 300 of about 1,057,123 (303)

VERIFICATION APPARATUS, VERIFICATION PROGRAM, AND VERIFICATION METHOD

2013
openaire   +2 more sources

Initial verification

2018
openaire   +1 more source

Rewriting and verification

ACM SIGSOFT Software Engineering Notes, 1985
openaire   +2 more sources

Verification

Nursing Management, 2009
openaire   +2 more sources

State of the Art in Software Verification and Witness Validation: SV-COMP 2024

Lecture Notes in Computer Science
Dirk Beyer
exaly  

Verification methods and verification devices

2019
NEJATI HOSSEIN, CHEUNG NGAI-MAN, KOH DAWN C I, SOSA MEDINA RICARDO D   +3 more
openaire   +1 more source

INPUT VERIFICATION

2016
RUBAKHA DMITRI, BRINKLEY MATTHEW D
openaire   +3 more sources

SPEAKER VERIFICATION

2018
MORENO IGNACIO LOPEZ, WAN LI, WANG QUAN
openaire   +5 more sources

CERTIFICATE VERIFICATION

2010
SRINIVASAN PRAMILA, PRINCEN JOHN
openaire   +2 more sources

VERIFICATION SYSTEM

2021
openaire   +2 more sources