Crossmark

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

Crossref DOI link: https://doi.org/10.1007/978-3-030-87675-3_1

Published Online: 2021-12-01

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Shkarupylo, Vadym V. https://orcid.org/0000-0002-0523-8910
Blinov, Ihor V. https://orcid.org/0000-0001-8010-5301
Chemeris, Alexander A. https://orcid.org/0000-0002-8134-5152
Dusheba, Valentyna V. https://orcid.org/0000-0002-8929-3625
Alsayaydeh, Jamil A. J. https://orcid.org/0000-0002-9768-4925
License Information

Text and Data Mining valid from 2021-12-01

Version of Record valid from 2021-12-01
More Information

Chapter History

First Online: 1 December 2021