Search Results

Search Results for: Malik M. Saad Missen

Results: 0-3 of 3

A Comparative Study of Diversity in Search Results of Search Engines

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2017, Volume 8, Issue No 1

Author(s): Malik M. Saad Missen, Muhammad Mughees Aqib

Keyword(s): Entities, Diversity, Novelty, Search Engines

Formal Validation of an Agent-based Location Guidance System (LGS)

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2017, Volume 8, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Dost Muhammad Khan

Keyword(s): Multi-Agent System, Location Guidance, Formal verifications, Architecture specifications, Correctness, Architecture Description Languages (ADLs), Finite State Process (FSP), Labelled Transition System (LTS), Labelled Transition System Analyzer (LTSA)

Formal modeling and proving of Campus Management System: Event-B perspective

Journal:Bahria University Journal of Information & Communication Technology, 2017, Volume 10, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Rida Zahra Hashmi

Keyword(s): Campus Management System (CMS), Event-B, Formal modeling, Formal validation, Theorem Proving, RODIN

Results: 0-3 of 3

Category

Year

Journal

Close