Результаты

1. Generating a test sequences using the SAT-solver

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

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

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

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

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

Просмотреть все (5) »