|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
A formal model and verification problems for Software Defined Networksстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 апреля 2017 г.
- Авторы: Chemeritsky E.V., Smeliansky R.L., Zakharov V.A.
- Журнал: Automatic Control and Computer Sciences
- Том: 48
- Номер: 7
- Год издания: 2014
- Издательство: Allerton Press Inc.
- Местоположение издательства: United States
- Первая страница: 398
- Последняя страница: 406
- Добавил в систему: Захаров Владимир Анатольевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | MAIS-PSSV-2013-eng.pdf | 282,8 КБ | 7 ноября 2014 [Smel] |