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