1 - 7 из 7Размер страницы: 10
Сортировать по:: Дата создания

  1. RSF_SRG_2022 - 2: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2023 г. этап 2

    Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.

    1/01/23 → 31/12/23

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  2. RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1

    Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.

    1/01/22 → 31/12/22

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  3. RFBR_a_2016 - 2: Управление повторами при разработке и сопровождении документации программного обеспечения: 2017 г. этап 2

    Романовский, К. Ю., Кознов, Д. В. & Луцив, Д. В.

    30/03/17 → 31/12/17

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  4. RFBR_ASP_2020: Формальная семантика многопоточных и распределенных систем с слабыми моделями согласованности на основе структуры событий

    Кознов, Д. В. & Моисеенко, Е. А.

    1/09/20 → 1/09/22

    Проект: исполнение гранта/договора › исполнение гранта/договора в целом

  5. RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3

    Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.

    29/03/20 → 26/12/20

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  6. RFBR_ASP_2019: Моделирование стратегий вычисления вызовов по необходимости в реляционных программах

    Кознов, Д. В. & Лозов, П. А.

    1/10/19 → 30/09/21

    Проект: исполнение гранта/договора › исполнение гранта/договора в целом

  7. RFBR_a_2018 - 2: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2019 г. этап 2

    Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.

    25/03/19 → 15/12/19

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

ID: 187573