Research output

  1. Generating a test sequences using the SAT-solver

    Research output: Contribution to conference › Abstract

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

    Research output: Contribution to conference › Abstract

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

    Research output: Contribution to journal › Article

View all (5) »

ID: 229005