Valentyna Dusheba

According to our database1, Valentyna Dusheba authored at least 2 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Case Driven TLC Model Checker Analysis in Energy Scenario.
Proceedings of The Sixth International Workshop on Computer Modeling and Intelligent Systems (CMIS 2023), 2023

2020
On Hoare Triples Applicability to Dependable System Specification Synthesis.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020


  Loading...