1 - 7 out of 7Page size: 10
Sort by: Created date

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

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

    1/01/23 → 31/12/23

    Project: Grant fulfilment › Grant stage fulfilment

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

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

    1/01/22 → 31/12/22

    Project: Grant fulfilment › Grant stage fulfilment

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

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

    30/03/17 → 31/12/17

    Project: Grant fulfilment › Grant stage fulfilment

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

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

    1/09/20 → 1/09/22

    Project: Grant fulfilment › Total grant fulfilment

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

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

    29/03/20 → 26/12/20

    Project: Grant fulfilment › Grant stage fulfilment

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

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

    1/10/19 → 30/09/21

    Project: Grant fulfilment › Total grant fulfilment

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

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

    25/03/19 → 15/12/19

    Project: Grant fulfilment › Grant stage fulfilment

ID: 187573