Login / Signup
Valentyna Dusheba
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Cscw Systems
Temporal Logic
Formal Methods
Orders Of Magnitude
Top Venues
CMIS
DESSERT
</>
Publications
</>
Vadym Shkarupylo
,
Ihor Blinov
,
Valentyna Dusheba
,
Jamil Abedalrahim Jamil Alsayaydeh
Case Driven TLC Model Checker Analysis in Energy Scenario.
CMIS
(2023)
Vadym Shkarupylo
,
Alexander Chemeris
,
Valentyna Dusheba
,
Ravil Kudermetov
,
Andrii O. Oliinyk
On Hoare Triples Applicability to Dependable System Specification Synthesis.
DESSERT
(2020)