Search Results

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

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)

Journal:Journal of Faculty of Engineering and Technology (JFET), 2017, Volume 24, Issue No 1

Author(s): A.S. Malik, O.M. Butt, M. Saad, Z. Noor

Keyword(s): Hetero-junction, Solar cell, Thin film, P-N junction

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