Search Results - A. Letichevsky

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    Cover Image

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

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: