Items where Author is "Blinov, Ihor V."
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book Chapter | Conference or Workshop Item
Number of items: 2.
Book Chapter
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
Conference or Workshop Item
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.