Отображение 1 - 13 результаты of 13 для поиска 'Лапутенко, Андрей Владимирович', время запроса: 0.02сек. Отмена результатов
  1. 1
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  2. 2
    Синтез тестов для цифровых систем на высоком и низком уровнях абстракции
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  3. 3
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  6. 6
    Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  7. 7
    Сравнение производительности различных реализаций самообучающихся моделей на примере задачи классификации
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  8. 8
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 - Радиофизика
    по Громов, Максим Леонидович
    Публикация 2018
    Другие авторы: “...Лапутенко, Андрей Владимирович...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
    Другие авторы: “...Лапутенко, Андрей Владимирович...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  10. 10
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 - Радиофизика
    по Громов, Максим Леонидович
    Публикация 2018
    Другие авторы: “...Лапутенко, Андрей Владимирович...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    О возможностях автоматного описания параллельной композиции временных автоматов
    Другие авторы: “...Лапутенко, Андрей Владимирович...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  12. 12
    Использование временных автоматов при тестировании киберфизических систем
    Другие авторы: “...Лапутенко, Андрей Владимирович...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  13. 13
    Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений
    Другие авторы: “...Лапутенко, Андрей Владимирович...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
Инструменты поиска: RSS-поток