Suchergebnisse - Potiyenko, S.

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

    Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents von S. V. Potiyenko

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Symbolic modeling of basic protocols systems with arbitrary number of agents von Potiyenko, S.V.

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    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
    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

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

    Internal States of Hadrons in Relativistic Reference Frames von N. O. Chudak, K. K. Merkotan, D. A. Ptashynskyy, O. S. Potiyenko, M. A. Deliyergiyev, A. V. Tykhonov, G. O. Sokhrannyi, O. V. Zharova, O. D. Berezovskyi, V. V. Voitenko

    Veröffentlicht 2016
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Внутрiшнi стани адронiв у релятивiстських системах вiдлiку von Chudak, N. O., Merkotan, K. K., Ptashynskyy, D. A., Potiyenko, O. S., Deliyergiyev, M. A., Tikhonov, A. V., Sokhrannyi, G. O., Zharova, O. V., Berezovs’kyi, O. D., Voitenko, V. V., Volkotrub, Yu. V., Sharph, I. V., Rusov, V. D.

    Veröffentlicht 2016

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: