Formal verification of demand response based home energy management systems in smart grids
- Adnan Yaqoob Salik
- , Muhammad Usama Sardar
- , Osman Hasan
- , Syed Rafay Hasan
- , Falah Awwad
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1
Link opens in a new tab
Citation
(Scopus)