|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Верификация программно-конфигурируемых сетей при помощи системы UPPAALстатья
- Авторы: Подымов В.В., Попеско У.В.
- Журнал: Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление
- Номер: 2 (193)
- Год издания: 2014
- Издательство: Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого"
- Местоположение издательства: Санкт-Петербург
- Первая страница: 169
- Последняя страница: 179
- Добавил в систему: Подымов Владислав Васильевич