Suchergebnisse - Guba, A.

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Volltext

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Deductive verification of requirements for event-driven architecture von Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: