Verificator: Educational Tool for Learning Programming by Danijel RADOSEVIC, Tihomir OREHOVACKI, Alen LOVRENCIC

Subjects: Get full text

Verification of the expert’s opinion by M. H. Shcherbakovskyi, M. V. Dementiev

Subjects: “…verification of evidence…”
Get full text

Verification and Assessment of "23·7" Severe Rainstorm Numerical Prediction in North China by Zhang Bo, Zhang Fanghua, Li Xiaolan, Hu Yi

Subjects: Get full text

Research on Verification Method of Civil Aircraft Maintenance Manual by ZHANG Yajie, ZENG Qinglin, WANG Hongchao, SHEN Ping, TU Zhiqi, ZHOU Yinqiu

Subjects: Get full text

Pelaksanaan Pembuktian Dalam Tindak Pidana Terorisme by Juanrico Alfaromona Sumarezs Titahelu

Subjects: “…Verification…”
Get full text

Testimony on Voter Verification by Selker, Ted

Subjects: “…Voter verification…”
Get full text

FIVER – Robust Verification of Countermeasures against Fault Injections by Jan Richter-Brockmann, Aein Rezaei Shahmirzadi, Pascal Sasdrich, Amir Moradi, Tim Güneysu

Subjects: Get full text

VERIFIKASI GEOMETRI DAN INDEKS GAMMA PADA PESAWAT LINAC TIPE CLINAC CX TERINTEGRASI EPID DI RS UNIVERSITAS ANDALAS VERIFIKASI GEOMETRI DAN INDEKS GAMMA PADA PESAWAT LINAC TIPE CLIN... by Dian Milvita, Bagus Sidik Waskito Hadi

Subjects: Get full text

Automated Verification of Building Components Using BIM Models and Point Clouds by Honti Richard, Erdélyi Ján, Bariczová Gabriela, Funtík Tomáš, Mayer Pavol

Subjects: “…verification of buildings…”
Get full text

UCLAONT: Ontology-Based UML Class Models Verification Tool by Adel Rajab, Abdul Hafeez, Asadullah Shaikh, Abdullah Alghamdi, Mana Saleh Al Reshan, Mohammed Hamdi, Khairan Rajab

Subjects: Get full text

A scheme for verifying the spatial structure of extremes in numerical weather prediction: Exemplified for precipitation by Bent H. Sass

Subjects: Get full text

Formal analysis of modern security protocols in current standards by Horvat, M

Subjects:

A Mathematical Approach to Design Verification Strategies That Incorporate Corrective Activities as Dedicated Decisions by Peng Xu, Alejandro Salado

Subjects: Get full text

A Survey on Text-Dependent and Text-Independent Speaker Verification by Youzhi Tu, Weiwei Lin, Man-Wai Mak

Subjects: “…Text-dependent speaker verification…”
Get full text

A Systematic Mapping Study on the Verification of Cyber-Physical Systems by Pengfei Duan, Ying Zhou, Xufang Gong, Bixin Li

Subjects: Get full text

Application of an object-based verification method to ensemble forecasts of 10‑m wind gusts during winter storms by Philipp Zschenderlein, Tobias Pardowitz, Uwe Ulbrich

Subjects: “…spatial verification…”
Get full text

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines by Ghada Bahig, Amr El-Kadi

Subjects: “…Verification…”
Get full text

Formal Security Analysis of EAP-ERP Using Casper by Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su

Subjects: Get full text

A Verified Implementation of the DPLL Algorithm in Dafny by Cezar-Constantin Andrici, Ștefan Ciobâcă

Subjects: Get full text

An Abstraction Technique for Verifying Shared-Memory Concurrency by Wytse Oortwijn, Dilian Gurov, Marieke Huisman

Subjects: “…concurrency verification…”
Get full text