Результати пошуку - T. Weigert

  • Показ 1 - 6 результатів із 6
Уточнити результати
  1. 1
    Зображення обкладинки

    Efficient increasing of the mutation score during model-based test suite generation за авторством Kolchin, A., Potienko, S., Weigert, T.

    Опубліковано в: Проблеми програмування (2020)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Efficient increasing of the mutation score during model-based test suite generation за авторством A. Kolchin, S. Potienko, T. Weigert

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Efficient increasing of the mutation score during model-based test suite generation за авторством Kolchin, A., Potiyenko, S., Weigert, T.

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Satisfiability For Symbolic Verification in VRS за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

    Опубліковано в: Управляющие системы и машины (2013)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Satisfiability For Symbolic Verification in VRS за авторством A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko

    Опубліковано 2013
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Insertion modeling in distributed system design за авторством Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

    Опубліковано 2008
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: