Showing 1 - 20 results of 51 for search 'Громов, Максим Леонидович', query time: 0.04s Refine Results
  1. 1
    Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
    Get full text
    Article
  2. 2
    Расширение словаря phpMorphy диалектными словами
    Get full text
    Book Chapter
  3. 3
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика
    Get full text
    eBook
  4. 4
    О трех эвристиках исключения неоднозначности при доопределении булевых функций
    Get full text
    Book Chapter
  5. 5
    Метод построения полного проверяющего теста для входо-выходных полуавтоматов
    Get full text
    Article
  6. 6
    К упрощению временных полуавтоматов при синхронизации компонентов физических систем
    Get full text
    Article
  7. 7
    Использование временных автоматов при тестировании киберфизических систем
    Get full text
    Article
  8. 8
    Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Book
  9. 9
    Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Get full text
    eBook
  10. 10
    К синтезу тестов по мутационному автомату
    Get full text
    Book Chapter
  11. 11
    Синтез и оптимизация цифровых схем учебно-методическое пособие
    Get full text
    eBook
  12. 12
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика
    Get full text
    eBook
  13. 13
    Различающие эксперименты с неинициальными недетерминированными автоматами
    Get full text
    Article
  14. 14
    Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
    Get full text
    Article
  15. 15
    Упрощение сколемовских функций в булевых формулах с кванторами
    Other Authors: “...Громов, Максим Леонидович...”
    Book Chapter
  16. 16
    Программная реализация метода восстановления смазанных изображений
    Other Authors: “...Громов, Максим Леонидович...”
    Book Chapter
  17. 17
    Создание системы управления на основе нейронных сетей
    Other Authors: “...Громов, Максим Леонидович...”
    Get full text
    Book Chapter
  18. 18
    Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа"
    Other Authors: “...Громов, Максим Леонидович...”
    Get full text
    Book Chapter
  19. 19
    Система автоматизации трассировки печатных плат на основе нейронных сетей
    Other Authors: “...Громов, Максим Леонидович...”
    Get full text
    Book Chapter
  20. 20
    Графический интерфейс системы автоматизированного составления расписания: доступ к БД и модуль ограничения ресурсов
    Other Authors: “...Громов, Максим Леонидович...”
    Get full text
    Book Chapter
Search Tools: Get RSS Feed