Showing 1 - 3 results of 3 for search 'V. Peschanenko', query time: 0.00s Refine Results
  1. 1
    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
    Satisfiability For Symbolic Verification in VRS
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Deductive verification of requirements for event-driven architecture
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search