[IEEE 2019 International Conference on Information Science and Communication Technology (ICISCT) - Karachi, Pakistan (2019.3.9-2019.3.10)] 2019 International Conference on Information Science and Communication Technology (ICISCT) - NFA Based Formal Modeling of Smart Parking System Using TLA +
- 作者Latif, Saba; Rehman, Aniqa; Zafar, Nazir Ahmad
- 文件大小147.41KB
- 发表时间2019
- DOI10.1109/CISCT.2019.8777445
- 页码1-6
[IEEE 2018 2nd International Conference on Electrical Engineering and Informatics (ICon EEI) - Batam, Indonesia (2018.10.16-2018.10.17)] 2018 2nd International Conference on Electrical Engineering and Informatics (ICon EEI) - Virtual World Environment Design for Vidyanusa E-Learning SystemAndhi, Rahmat Rizal; Nasien, Dewi; Sari, Linna Oktaviana · 2018
[IEEE 2018 2nd International Conference on Electrical Engineering and Informatics (ICon EEI) - Batam, Indonesia (2018.10.16-2018.10.17)] 2018 2nd International Conference on Electrical Engineering and Informatics (ICon EEI) - Development of E-Commerce Applications based on RAD Methods for MSMEs Furniture Business in Central JavaUtomo, Rooswhan Budhi; Akbar, Ali; Andriansyah, Miftah; Lasminiasih, ; Utami, Suryandari Sedyo · 2018
A unified model for diagnosing energy usage abnormalities in regional integrated energy service systemsWu, Di; Ma, Hongwei; Mao, Jianrong; Ma, Kaiqi; Zheng, Hao; Bo, Zhiqian · Global Energy Interconnection · 2019
[IEEE 2018 IEEE 2nd International Electrical and Energy Conference (CIEEC) - Beijing, China (2018.11.4-2018.11.6)] 2018 IEEE 2nd International Electrical and Energy Conference (CIEEC) - Architecture and Function Design of Integrated Energy Management System for Multiple ScenesZheng, Hao; Ma, Hongwei; Wu, Di; Mao, Jianrong; Fu, Meiping · 2018