共 36 条
- [2] Amhenrior HE, 2017, 2017 IEEE 3RD INTERNATIONAL CONFERENCE ON ELECTRO-TECHNOLOGY FOR NATIONAL DEVELOPMENT (NIGERCON)
- [3] Development of Electricity Theft Detector with GSM Module and Alarm System [J]. 2020 IEEE 12TH INTERNATIONAL CONFERENCE ON HUMANOID, NANOTECHNOLOGY, INFORMATION TECHNOLOGY, COMMUNICATION AND CONTROL, ENVIRONMENT, AND MANAGEMENT (HNICEM), 2020,
- [5] Chandel P, 2016, 2016 INTERNATIONAL CONFERENCE ON ELECTRICAL POWER AND ENERGY SYSTEMS (ICEPES), P368, DOI 10.1109/ICEPES.2016.7915959
- [6] On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment [J]. SOFTWARE TECHNOLOGIES (ICSOFT 2020), 2021, 1447 : 114 - 133
- [7] On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment [J]. ICSOFT: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2020, : 544 - 551