Treffer 1 - 3 von 3 für Suche 'A. Guba', Suchdauer: 0,00s Treffer weiter einschränken
  1. 1
    Traversal of arbitrary sequences of UCM symbolic transitions for test generation
    von A. A. Guba
    Veröffentlicht 2014
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    A method for business logic extraction from legacy COBOL code of industrial systems
    von A. A. Guba, A. V. Kolchin, S. V. Potienko
    Veröffentlicht 2016
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    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