| Title | VDM-SL-based model of border protection system using WSANs |
| Type | Conference |
| Publisher | 1st International Conference on Innovative Computing |
| Publication Year | 2016 |
| First Author | Hamra Afzaal |
| Second Author | Tahreem Saeed |
| Third Author | Zafar Iqbal, Nazir Ahmad Zafar |
| Publication Level | International |
| Volume | |
| Publication # | |
| Page # | |
| Submitted by | Hamra Afzaal |
| Department | Computer Science |
| Email |
hamraafzaal@cuisahiwal.edu.pk
|