Search Results - Peschanenko, V.S.

  • Showing 1 - 13 results of 13
Refine Results
  1. 1
    Cover Image

    Partial evaluation in insertion modeling system by Peschanenko, V.S.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Use of metods of algebraic programming for the formal verification of legal acts by Peschanenko, V., Poltorackiy, M.

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Simple non-deterministic rewriting in verification by Letichevsky, A., Peschanenko, V.

    Published 2010
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.

    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    The Non-Deterministic Strategy of Rewriting by Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.

    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Deductive verification of requirements for event-driven architecture by Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.

    Get full text

    Save to List
    Saved in:
  8. 8
    Cover Image

    Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

    Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Cover Image

    Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Cover Image

    Constraint programming in insertion modeling system by Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: