@inbook{380b5309b72e40e586e5e1c613a8e18c,
title = "Conclusions",
abstract = "This manuscript presented a higher-order logic theorem proving based approach for formally analyzing and verifying the safety and mission-critical aspects of smart grids. The main reason for the proposed approach is to overcome the limitations of traditional paper-and-pencil and simulation techniques, and ensure safe and secure grid operations.",
author = "Asad Ahmed and Osman Hasan and Falah Awwad and Nabil Bastaki",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2022",
doi = "10.1007/978-3-030-78409-6\_6",
language = "English",
series = "SpringerBriefs in Applied Sciences and Technology",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "77--79",
booktitle = "SpringerBriefs in Applied Sciences and Technology",
}