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 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 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 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 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 2024
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: