![](/img/cover-not-exists.png)
[IEEE 2018 IEEE 21st International Multi-Topic Conference (INMIC) - Karachi (2018.11.1-2018.11.2)] 2018 IEEE 21st International Multi-Topic Conference (INMIC) - Modeling of Energy Efficient Smart Lightening System Linking UML, Automata and TLA+
Latif, Saba, Rehman, Aniqa, Zafar, Nazir AhmadYear:
2018
Language:
english
DOI:
10.1109/INMIC.2018.8595681
File:
PDF, 8 KB
english, 2018