Items where Author is "Shkarupylo, Vadym V."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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.

This list was generated on Fri Mar 1 04:04:56 2024 +08.