DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection
Categories
Religious and Islamic Studies Social Sciences Humanities and Arts Natural and Physical Sciences Medical and Health Sciences Engineering and Technology Agricultural and Environmental Sciences Business, Economics, and Management Sciences Law and Political Sciences Language, Literature, and Linguistics

7 Papers found for "Verification (7)"

Biometric recognition system vein pattern verification using palm dorasum

K. Sree kanakamahalakshmi, V. G. Siva Kumar

ARPN Journal of Engineering and Applied Sciences | 2016

Read Paper
Automation of Software Modeling and Verification

Sidra Sultana1 Fahim Arif2

International Journal of Computing and Related Technologies (IJCRT) | 2018

Read Paper
Timed Model for Protocol Verification and Performance Analysis

B. S. Chowdhry, M. N. Brohi

Sindh University Research Journal - Science Series (SURJ) | 2005

Read Paper
Model-Checking Techniques for Reliable Communication over Unreliable Media

Anders P. Ravn, Saleem Vighio

Sindh University Research Journal - Science Series (SURJ) | 2011

Read Paper
Path Conditions Help to Locate and Localize Faults from Programs

A. KEERIO, S. SOOMRO, Y.A. MALKANI, Z. HUSSAIN

Sindh University Research Journal - Science Series (SURJ) | 2011

Read Paper
Formal Verification of Twin Clutch Gear Control

Mudassar Naseer, Muhammad Atif, Muhammad Zaman

VAWKUM Transactions on Computer Sciences | 2022

Read Paper
Explicit State Model Checking Effects on Learning-Based Testing

Iram Jaffar, Muddassar Azam Sindhu, Shafiq Ur Rehman

International Journal of Innovations in Science & Technology | 2024

Read Paper