Treffer 1 - 8 von 8 für Suche 'Kolchin, A.', Suchdauer: 0,04s Treffer weiter einschränken
  1. 1
    Interactive method for cumulative analysis of software formal models behavior
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Optimization of checking the feasibility of transitions when verifying formal models
    von Kolchin, A.V.
    Veröffentlicht 2015
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Efficient increasing of the mutation score during model-based test suite generation
    von Kolchin, A., Potiyenko, S., Weigert, T.
    Veröffentlicht 2020
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Efficient increasing of the mutation score during model-based test suite generation
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Generation of multipurpose formal models from legacy code
    von Potiyenko, S.V., Kolchin, A.V.
    Veröffentlicht 2023
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Static method of consistency and completeness checking in formal model of distributed software systems
    von Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    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:
  8. 8
    Survey on modern tools and methods of formal models verification
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden