Search Results - V. Peschanenko

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

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

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Satisfiability For Symbolic Verification in VRS by A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: