On Applicability of Model Checking Technique in Power Systems and Electric Power Industry

Autor:	Vadym Shkarupylo, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh, Alexander Chemeris, Ihor Blinov
Rok vydání:	2021
Předmět:	Model checking Electric power system Computer science Electric power industry Automotive engineering
Zdroj:	Systems, Decision and Control in Energy III ISBN: 9783030876746 Systems, Decision and Control in Energy III
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::149819be6fe637e7014b8850a903c318 https://doi.org/10.1007/978-3-030-87675-3_1 Zobrazit plný text záznamu