Search Results

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Correctness Property Proof for the Banking System for Money Transfer Payments by Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Algebraic modeling in international and local service logistical systems by Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

    Published in PROBLEMS IN PROGRAMMING (2021)

    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Formal verification of deep neural networks by Panchuk, B.O.

    Published in PROBLEMS IN PROGRAMMING (2024)

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: