|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014сборник
- Год издания: 2014
- Место издания: Кострома: КГТУ
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2014 A runtime verification system for Software Defined Networks
- Altukhov V.S., Chemeritskiy E.V., Podymov V.V., Zakharov V.A.
- в сборнике Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 19-28
-
- 2014 Метод понижения вычислительной сложности в задачах верификации вероятностных моделей программ
- Миронов А.М., Френкель С.Л.
- в сборнике Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 84-94