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 "Model Checking (3)"

A technique for checking the adequacy of formal model

Alexander Chemeris, Igor Tomicic, Jamil Abedalrahim Jamil Alsayaydeh, Vadym Shkarupylo, Valentyna Dusheba

ARPN Journal of Engineering and Applied Sciences | 2021

Read Paper
Modeling Feature Interactions among Web Services based on Feature Models

I. Abbasi, R. Cooper

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

Read Paper
Formal Modeling of Evolving Systems using Petri nets Based Vocabulary

Allah Ditta, Awais Raza Zaidi, Karmani, Muhammad Zafar Iqbal Karmani, Syed Asad Raza Kazmi

Lahore Garrison University Research Journal of Computer Science and Information Technology (LGURJCSIT) | 2024

Read Paper