Showing 1 - 15 results of 15 for search 'Peschanenko, V.', query time: 0.04s Refine Results
  1. 1
    Partial evaluation in insertion modeling system
    by Peschanenko, V.S.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Partial evaluation in insertion modeling system
    Get full text
    Save to List
    Saved in:
  3. 3
    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:
  4. 4
    Simple non-deterministic rewriting in verification
    by Letichevsky, A., Peschanenko, V.
    Published 2010
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Use of metods of algebraic programming for the formal verification of legal acts
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Satisfiability For Symbolic Verification in VRS
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    APS C++ User's Library
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Algebraic approach to the analysis of legal documents
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Deductive verification of requirements for event-driven architecture
    Get full text
    Save to List
    Saved in:
  10. 10
    The Non-Deterministic Strategy of Rewriting
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Algebraic approach to the analysis of legal documents
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Deductive verification of requirements for event-driven architecture
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Survey on modern tools and methods of formal models verification
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Formal semantics and analysis of tokenomics properties
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Formal semantics and analysis of tokenomics properties
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search