Ihor Blinov

According to our database, Ihor Blinov authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2023

Case Driven TLC Model Checker Analysis in Energy Scenario.

Vadym Shkarupylo, Ihor Blinov, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh

Proceedings of The Sixth International Workshop on Computer Modeling and Intelligent Systems (CMIS 2023), 2023