Search Results - Guba, A.

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

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

    Get full text
    Article

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

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

    Get full text

    Save to List
    Saved in:
  4. 4
    Cover Image

    A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

    Published 2018
    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:

Search Tools: