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

3 Papers found for "Formal Verification (3)"

ANALYSIS, DESIGN, ARCHITECTURE SPECIFICATION, AND FORMAL VERIFICATION OF A SMART FLOOD MONITORING SYSTEM-OF-SYSTEMS

Saima Khan

Science International | 2016

Read Paper
On Designing Heuristics for Formal Verification Approaches

H. A. NIZAMANI, N. CHANA, N. J. RAJPER, Q.U.A. NIZAMANI

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

Read Paper
Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques

Amirmohammad Delshadi, Aqdas saleemi, Dua Mahmood, Mahlaqa Saeed, Muhammad Ibrar

The Asian Bulletin of Big Data Management (ABBDM) | 2024

Read Paper