Search Results - Weigert, T.

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

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

    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

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

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

    Satisfiability For Symbolic Verification in VRS by Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Satisfiability For Symbolic Verification in VRS by A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Insertion modeling in distributed system design by Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

    Published 2008
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Insertion modeling in distributed system design by Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: