|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
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
- Год издания: 2014
- Место издания: Кострома: КГТУ
- Первая страница: 19
- Последняя страница: 28
- Добавил в систему: Захаров Владимир Анатольевич