Items where Author is "Dusheba, Valentyna"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
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.