Items where Author is "Shkarupylo, Vadym V."
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
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
Shkarupylo, Vadym V. and Jamil Alsayaydeh, Jamil Abedalrahim and Dusheba, Valentyna V. and Tomičić, Igor and Chemeris, Alexander A. (2021) A technique for checking the adequacy of formal model. ARPN Journal of Engineering and Applied Sciences, 16 (16). pp. 1707-1719. ISSN 1819-6608