1 - 5 out of 5Page size: 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, p. 73.

    Research output: Contribution to conference › Abstract

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

    Maschinskiy, N. S., Yelaev, Y. V. & Fedyukovich, P. A., 2015, p. 81.

    Research output: Contribution to conference › Abstract

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

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

    Research output: Contribution to journal › Article

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

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

    Research output: Contribution to journal › Article

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

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

    Research output: Contribution to journal › Article

ID: 229005