Search Results - A. Guba

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

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

    Published 2014
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Published 2016
    Get full text
    Article

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

Search Tools: