|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
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 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
- редакторы Камкин Александр Сергеевич, Петренко Александр Константинович
-