Search Results

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Traversal of arbitrary sequences of UCM symbolic transitions for test generation by Guba, A.A.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: