ИСТИНА

Дроздова Екатерина Алексеевна пользователь

Соавторы: Чупилко М.М., Митина Н.Н., Се Ц., Чжоу Ч.

3 статьи, 1 НИР

IstinaResearcherID (IRID): 138207174

Деятельность

• Статьи в журналах

  • • 2018 Динамическая верификация контроллеров шин систем-на-кристалле
    • Чупилко М.М., Дроздова Е.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 4, с. 129-138 DOI

• Статьи в сборниках

  • • 2021 Особенности государственного управления трансграничными реками в Китайской Народной Республике
    • Митина Н.Н., Дроздова Е.А., Чжоу Чаоин, Се Цэнь
    • в сборнике Трансграничные водные объекты: использование, управление, охрана: сборник материалов Всероссийской научно-практической конференции с международным участием, г. Сочи, 20-25 сентября 2021 г, место издания ЛИК Новочеркасск, с. 279-284
  • • 2018 An Approach to Simulation-Based Verification of SoC Bus Controllers
    • Chupilko M., Drozdova E.
    • в сборнике Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),, с. 111-114
    • редакторы Камкин Александр Сергеевич, Петренко Александр Константинович

• НИРы

  • • 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
    • Кафедра системного программирования
    • Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.