Treffer 1 - 5 von 5 für Suche 'Guba, A.', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1
    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:
  2. 2
    Traversal of arbitrary sequences of UCM symbolic transitions for test generation
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Deductive verification of requirements for event-driven architecture
    Volltext
    Zu den Favoriten
    Gespeichert in:
  4. 4
    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
    Deductive verification of requirements for event-driven architecture
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden