Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
сборник
Члены редколлегии:
Петренко А.К.
,
Камкин А.С.
Год издания:
2018
Добавил в систему:
Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
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
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
2018
Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
Dudina I.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 107-110
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
2018
Building Modular Real-Time Software from Unified Components Model
Mallachiev K.
,
Khoroshilov A.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 74-79
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
2018
Formalizing Metamodel of Requirement Management System
Kildishev D.
,
Khoroshilov A.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 209-214
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
2018
In-Kernel Memory-Mapped I/O Device Emulation
Cheptsov V.,
Khoroshilov A.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 64-69
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
2018
On the Model Checking of Finite State Transducers over Semigroups
Gnatenko A.
,
Zakharov V.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 26-34
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
2018
Source Code Augmentation for Supervised Learning
Savchenko V.,
Volkov A.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 103-106
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович