Search Results - Letichevsky, A.A.

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

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

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Test scenarios generation based on formal model by Letichevsky, A.A., Kolchin, A.V.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    Cover Image

    Insertion modeling in distributed system design by Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

    Published 2008
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Insertion modeling in distributed system design by Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: