[IEEE 2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) - Karachi, Pakistan (2019.12.14-2019.12.15)] 2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) - Smart Airport Apron Management System Formal Modeling using VDM-SL
Latif, Saba, Ferzund, JavedYear:
2019
Language:
english
DOI:
10.1109/MACS48846.2019.9024825
File:
PDF, 351 KB
english, 2019