Search Results - Potiyenko, S.

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Cover Image

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

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Efficient increasing of the mutation score during model-based test suite generation by Kolchin, A., Potiyenko, S., Weigert, T.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Generation of multipurpose formal models from legacy code by Potiyenko, S.V., Kolchin, A.V.

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

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

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    Internal States of Hadrons in Relativistic Reference Frames by 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

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: