Showing 1 - 5 results of 5 for search 'Natalia O. Garanina', query time: 0.01s Refine Results
  1. 1
    An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms

    An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms by Natalia O. Garanina

    Published 2024-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Requirement patterns in deductive verification of poST Programs

    Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

    Published 2024-03-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Verification Oriented Process Ontology

    Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

    Published 2018-12-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Methods for Domain Specification of Verification-Oriented Process Ontology

    Methods for Domain Specification of Verification-Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

    Published 2019-12-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Model checking programs in process-oriented IEC 61131-3 Structured Text

    Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

    Published 2024-03-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: