Old Web
English
Sign In
Acemap
>
authorDetail
>
Valentyna Dusheba
Valentyna Dusheba
Computer science
Model checking
Programming language
System requirements specification
Basis (linear algebra)
4
Papers
3
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
On Applicability of Model Checking Technique in Power Systems and Electric Power Industry
2022
Vadym Shkarupylo
Ihor Blinov
Alexander Chemeris
Valentyna Dusheba
Jamil Abedalrahim Jamil Alsayaydeh
Show All
Source
Cite
Save
Citations (0)
A technique for checking the adequacy of formal model
2021
ARPN journal of engineering and applied sciences
Vadym Shkarupylo
Jamil Abedalrahim Jamil Alsayaydeh
Igor Tomičić
Alexander Chemeris
Valentyna Dusheba
Show All
Source
Cite
Save
Citations (1)
Iterative Approach to TLC Model Checker Application
2021
Vadym Shkarupylo
Ihor Blinov
Alexander Chemeris
Valentyna Dusheba
Jamil Abedalrahim Jamil Alsayaydeh
Andrii Oliinyk
Show All
Source
Cite
Save
Citations (0)
On Hoare Triples Applicability to Dependable System Specification Synthesis
2020
Vadym V. Shkarupylo
Alexander Chemeris
Valentyna Dusheba
Ravil Kudermetov
Andrii Oliinyk
Show All
Source
Cite
Save
Citations (2)
1