Search Results - Dusheba, Valentyna

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    A technique for checking the adequacy of formal model

    A technique for checking the adequacy of formal model by Shkarupylo, Vadym V., Jamil Alsayaydeh, Jamil Abedalrahim, Dusheba, Valentyna V., Tomičić, Igor, Chemeris, Alexander A.

    Published 2021
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    On applicability of model checking technique in power systems and electric power industry

    On applicability of model checking technique in power systems and electric power industry by Shkarupylo, Vadym V., Blinov, Ihor V., Chemeris, Alexander A., Dusheba, Valentyna V., Jamil Alsayaydeh, Jamil Abedalrahim

    Published 2021
    Get full text
    Get full text
    Get full text
    Book Chapter
    Save to List
    Saved in:
  3. 3
    Case driven TLC model checker analysis in energy scenario

    Case driven TLC model checker analysis in energy scenario by Shkarupylo, Vadym, Blinov, Ihor V., Dusheba, Valentyna, Alsayaydeh, Jamil Abedalrahim Jamil

    Published 2023
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:

Search Tools: