Suchergebnisse - Kolchin, A.V.

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

    A method for guided search and test scenarios generation in verification of formal models of asynchronous systems von Kolchin, A.V.

    Veröffentlicht 2026
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Interactive method for cumulative analysis of software formal models behavior von Kolchin, A.V.

    Veröffentlicht 2018

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    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:
  4. 4
    Buchumschlag

    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:
  5. 5
    Buchumschlag

    Test scenarios generation based on formal model von Letichevsky, A.A., Kolchin, A.V.

    Veröffentlicht 2026
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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:
  7. 7
    Buchumschlag

    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:
  8. 8
    Buchumschlag

    Survey on modern tools and methods of formal models verification von Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

    Veröffentlicht 2015
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: