Showing 1 - 4 results of 4 for search '"(process OR programs)."', query time: 0.05s Refine Results
  1. 1
    Developing the data management component of an academic discipline program for an educational management information system

    Developing the data management component of an academic discipline program for an educational management information system by Ju. V. Starichkova, I. E. Rogov, V. S. Tomashevskaya

    Published 2023-02-01
    Subjects: “…educational process, data management, digitalization, educational environment, information systems to support the educational process, educational programs and standards, academic discipline program…”
    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
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    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
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms

    Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Ivan M. Chernenko, Igor S. Anureev

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

Search Tools: