Items where Author is "Blinov, Ihor V."
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Shkarupylo, Vadym and Blinov, Ihor V. and Dusheba, Valentyna and Alsayaydeh, Jamil Abedalrahim Jamil (2023) Case driven TLC model checker analysis in energy scenario. In: 6th International Workshop on Computer Modeling and Intelligent Systems, CMIS 2023, 3 May 2023, Zaporizhzhia.
Shkarupylo, Vadym V. and Blinov, Ihor V. and Chemeris, Alexander A. and Dusheba, Valentyna V. and Jamil Alsayaydeh, Jamil Abedalrahim (2021) On applicability of model checking technique in power systems and electric power industry. In: Studies in Systems, Decision and Control. Springer Science and Business Media Deutschland GmbH, pp. 3-21. ISBN 9783030876753