Search Results - Vladimir E. Zyubin

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    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:
  2. 2
    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: