1 - 5 из 5Размер страницы: 10
Сортировать по:: Год публикации
  1. 2015

  2. Generating a test sequences using the SAT-solver

    Fedyukovich, P. A., Yelaev, Y. V., Maschinskiy, N. S. & Grishkin V., M., 2015, стр. 73.

    Результаты исследований: Материалы конференций › тезисы

  3. Simulation of complex digital devices for the purpose of testing

    Maschinskiy, N. S., Yelaev, Y. V. & Fedyukovich, P. A., 2015, стр. 81.

    Результаты исследований: Материалы конференций › тезисы

  4. Моделирование сложных цифровых устройств с целью их тестирования

    Мащинский, Н. С., Елаев, Е. В. & Федюкович, П. А., 2015, в: Процессы управления и устойчивость. стр. 452-457

    Результаты исследований: Научные публикации в периодических изданиях › статья

  5. РАЗВИТИЕ ПРОГРАММНОЙ СРЕДЫ «ЯСТЕК» И ЕЕ ИСПОЛЬЗОВАНИЕ ПРИ НАПИСАНИИ ТЕСТОВЫХ ПРОГРАММ ДЛЯ ЦИФРОВЫХ МОДУЛЕЙ

    Степанов, Ю. Л., Гришкин, В. М., Елаев, Е. В. & Федюкович, П. А., 2015, в: ВОПРОСЫ РАДИОЭЛЕКТРОНИКИ. СЕРИЯ ОБЩЕТЕХНИЧЕСКАЯ. стр. 198-205

    Результаты исследований: Научные публикации в периодических изданиях › статья

  6. Формирование тестовых последовательностей с помощью SAT-решателя

    Федюкович, П. А., Елаев, Е. В., Мащинский, Н. С. & Гришкин, В. М., 2015, в: Процессы управления и устойчивость. стр. 521-526

    Результаты исследований: Научные публикации в периодических изданиях › статья

ID: 229005