Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-9 of 9 (Search time: 0.004 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2008Формальная семантика сложных операторов линейной темпоральной логикиЗайченко, С. А.; Хаханов, В. И.
2015Киберфизиеские структуры для анализа больших данныхХаханов, В. И.; Литвинова, Е. И.; Зайченко, С. А.; Гуреев, Б. Н.; Шляхтун, М. М.
2014Процессорные логические структуры для анализа BIG DATAХаханов, В. И.; Зайченко, С. А.; Мищенко, А. С.; Хаханов, И. В.
2011Модели и методы верификации и диагностирования SOC HDL-кодаНгене, К. У.; Хаханов, В. И.; Зайченко, С. А.; Литвинова, Е. И.; Скворцова, О. Б.
2014Киберсервисы активного управления университетомХаханов, В. И.; Мищенко, А. С.; Чумаченко, С. В.; Зайченко, С. А.
2014MQT-автомат для анализа больших данныхХаханов, В. И.; Обризан, В. И.; Зайченко, С. А.; Хаханов, И. В.
2007Верификация цифровых устройств на основе использования анализа тестопригодности и ассерционных библиотекХаханов, В. И.; Каминская, М. А.; Зайченко, С. А.
2007Проектирование самотестируемых цифровых систем на основе аппаратной реализации мониторов темпоральных ассерацийЗайченко, С. А.; Хаханов, В. И.
2010Структуры данных и модели реализации базовых элементов динамических регистровых очередейЗайченко, С. А.; Хаханов, В. И.; Чумаченко, С. В.