Search Results

Search Results for: Saad

Results: 50-52 of 52

Beam Scanning based Secure Communication using Visible Light

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

Author(s): Muhammad Saad

Keyword(s): light emitting diodes, secure communication, optical wireless communication

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: 50-52 of 52

Category

Year

Journal

Close